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