Si s("n") > n, entonces "n" es un número abundante y si s("n") < "n" entonces "n" es número defectivo.