MDLUL/verträglich (Operation)

Start=verträglich (Operation)

MDLUL/verträglich (Operation)

Ziel=Gruppenoperation/Zwei Mengen/Invariante Abbildung/Definition