Start=fixpunktfrei

MDLUL/fixpunktfrei

Ziel=Abbildung/Fixpunktfrei/Definition