MDLUL/verträglich (Gruppenoperation)

Start=verträglich (Gruppenoperation)

MDLUL/verträglich (Gruppenoperation)

Ziel=Gruppenoperation/Zwei Mengen/Invariante Abbildung/Definition