MDLUL/endlich erzeugten (Monoid)

Start=endlich erzeugten (Monoid)

MDLUL/endlich erzeugten (Monoid)

Siehe=endlich erzeugt (Monoid)
MDLUL/endlich erzeugt (Monoid)
Ziel=Kommutatives Monoid/Endlich erzeugt/Definition