MDLUL/fixpunktfrei (Abbildung)

Start=fixpunktfrei (Abbildung)

MDLUL/fixpunktfrei (Abbildung)

Ziel=Abbildung/Fixpunktfrei/Definition