Entonces esta función es nilpotente en el sentido que existe una número natural "n" tal que "f", la "n"-ésima iteración de "f", envía cada elemento "x" de "G" al elemento identidad.