donde formula_2 es el conjunto de puntos fijos del "n"-esimo iterado de una función iterada "f", y formula_3 es la cardinalidad de este conjunto de puntos fijos.