Un punto fijo formula_3 de es un punto de X tal que formula_4 = formula_3.