Si "f" es la acción de un elemento de un grupo en un conjunto, entonces la función iterada corresponde a un grupo libre.