Esta asignación constituye una función entre el conjunto de los números enteros Z y el conjunto de los números naturales N.