מונואיד (מבנה אלגברי) – הבדלי גרסאות

* המונואיד '''ניתן לעידון''' אם לכל שוויון <math>a_1+a_2=b_1+b_2</math> קיימים <math>x_{ij}</math> כך ש-<math>a_i = x_{i1}+x_{i2}, \, b_j = x_{1j}+x_{2j}</math>.

* המונואיד '''מפריד''' אם מ- x+y=x+x=y+y נובע x=y. (כל מונואיד נוצר סופית הניתן לעידון הוא מפריד).

 

== הערות שוליים ==