La definición formal de una función iterada en un conjunto formula_1 es: