MDLUL/erzeugen (Gruppe)

Start=erzeugen (Gruppe)

MDLUL/erzeugen (Gruppe)

Ziel=Erzeugte_Untergruppe_zu_Menge/Definition