Start=Stabilisator

MDLUL/Stabilisator

Ziel=Gruppenoperation/Isotropiegruppe/Definition