Entonces, para cada entero "n", "a" es un elemento de G, por lo que podemos definir una función f desde los Enteros en G por f(m) = a.