Sea formula_58 una aplicación del conjunto formula_59 sobre sí mismo.