MDLUL/invariant (Fixpunkt)

Start=invariant (Fixpunkt)

MDLUL/invariant (Fixpunkt)

Ziel=Gruppenoperation/Fixpunkt/Definition