MDLUL/Erzeugendensystem (Gruppe)

Start=Erzeugendensystem (Gruppe)

MDLUL/Erzeugendensystem (Gruppe)

Ziel=Erzeugte_Untergruppe_zu_Menge/Definition