MDLUL/normales (Monoid)

Start=normales (Monoid)

MDLUL/normales (Monoid)

Siehe=normal (Monoid)
MDLUL/normal (Monoid)
Ziel=Kommutative Monoidtheorie/Normalisierung in Differenzengruppe und normal/Definition