MDLUL/erzeugte Untergruppe

Start=erzeugte Untergruppe

MDLUL/erzeugte Untergruppe

Ziel=Erzeugte_Untergruppe_zu_Menge/Definition