MDLUL/endlich erzeugt (Monoid)

Start=endlich erzeugt (Monoid)

MDLUL/endlich erzeugt (Monoid)

Ziel=Kommutatives Monoid/Endlich erzeugt/Definition