MDLUL/kürzbare (Monoid)

Start=kürzbare (Monoid)

MDLUL/kürzbare (Monoid)

Siehe=kürzbar (Monoid)
MDLUL/kürzbar (Monoid)
Ziel=Kommutative Monoidtheorie/Monoid mit Kürzungsregel/Definition