Start=Gruppenoperation

MDLUL/Gruppenoperation

Ziel=Menge/Gruppenoperation/Links/Definition