Definition:Abundant Number/Definition 3

Definition
Let $n \in \Z_{\ge 0}$ be a positive integer.

$n$ is abundant it is smaller than the sum of its proper divisors.

Also see

 * Equivalence of Definitions of Abundant