MDLUL/invariant (Teilmenge)

Start=invariant (Teilmenge)

MDLUL/invariant (Teilmenge)

Ziel=Gruppenoperation/Invariante Teilmenge/Definition