La sucesión alícuota que comienza con el entero positivo "k" puede ser definida formalmente mediante la función divisor σ de la siguiente manera: