MDLUL/Erzeugendensystem (Gruppe)

Aus Wikiversity
MDLUL/Erzeugendensystem (Gruppe)

Start=Erzeugendensystem (Gruppe)

Ziel=Erzeugte_Untergruppe_zu_Menge/Definition