Eine Abbildung

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

heißt fixpunktfrei, wenn sie keinen Fixpunkt besitzt, wenn also

${\displaystyle {}f(x)\neq x\,}$

für alle ${\displaystyle {}x\in M}$ gilt.