A mathematical definition of a deficient number is given as follows:
A positive integer n is said to be deficient if the sum of its proper divisors, denoted by σ(n), is less than n, i.e., σ(n) < n.
Deficient numbers are contrasted with perfect numbers, which are positive integers for which the sum of all their proper divisors is exactly equal to the number itself, and abundant numbers, which are positive integers for which the sum of all their proper divisors is greater than the number itself.
In summary, a deficient number in mathematics is a positive integer whose sum of proper divisors is less than itself.