MDLUL/invariant (Operation)

Start=invariant (Operation)

MDLUL/invariant (Operation)

Ziel=Gruppenoperation/Invariante Teilmenge/Definition