Eine Abbildung
heißt fixpunktfrei, wenn sie keinen Fixpunkt besitzt, wenn also
für alle x ∈ M {\displaystyle {}x\in M} gilt.