Start=erzeugt (Gruppe)

MDLUL/erzeugt (Gruppe)

Ziel=Erzeugte_Untergruppe_zu_Menge/Definition