Es sei M {\displaystyle {}M} eine Menge und
eine Abbildung. Ein Element x ∈ M {\displaystyle {}x\in M} mit f ( x ) = x {\displaystyle {}f(x)=x} heißt Fixpunkt der Abbildung.