MDLUL/erzeugte (Gruppe)

Start=erzeugte (Gruppe)

MDLUL/erzeugte (Gruppe)

Siehe=erzeugt (Gruppe)
MDLUL/erzeugt (Gruppe)
Ziel=Erzeugte_Untergruppe_zu_Menge/Definition