Es sei ${\displaystyle {}M}$ eine Menge und

${\displaystyle f\colon M\longrightarrow M}$

eine Abbildung. Ein Element ${\displaystyle {}x\in M}$ mit ${\displaystyle {}f(x)=x}$ heißt Fixpunkt der Abbildung.