Nesta segunda definición el dominiu de la función ye'l conxuntu de los enteros non negativos ℤ≥0 y el codominio ye'l conxuntu de los enteros positivos ℤ+.[2] Nesti casu hai una socesión recurrente, el cálculu socesivu de los sos elementos llámase procesu recurrente y l'igualdá n! = (n - 1)!n nómase ecuación recurrente.[3]