MDLUL/kürzbar (Monoid)

Start=kürzbar (Monoid)

MDLUL/kürzbar (Monoid)

Ziel=Kommutative Monoidtheorie/Monoid mit Kürzungsregel/Definition