Kommutative Monoidtheorie/Monoid mit Kürzungsregel/Definition
Kürzungsregel (Monoid)
Man sagt, dass in einem kommutativen Monoid die Kürzungsregel gilt (oder dass ein Monoid mit Kürzungsregel ist), wenn aus einer Gleichung
stets folgt, dass ist.