En esta segunda definición el dominio de la función es el conjunto de los enteros no negativos ℤ y el codominio es el conjunto de los enteros positivos ℤ.