Más aún, el teorema de Banach del punto fijo afirma que toda contracción sobre un espacio métrico completo tiene un único punto fijo, y por tanto para cada "x" de "M" la secuencia iterativa "x", "f" ("x"), "f" ("f" ("x")), "f" ("f" ("f" ("x"))), ...