Binoid: M=N∞⋃N∞/(m=l), m≥1, l≥2{\displaystyle {}M=\mathbb {N} ^{\infty }\bigcup \mathbb {N} ^{\infty }/(m=l){\text{, }}m\geq 1{\text{, }}l\geq 2}.
Eigenschaften:
Das Binoid ist endlich erzeugt.
Binoidalgebra: K[M]=K[X,Y]/(XY,Ym−Yl){\displaystyle {}K[M]=K[X,Y]/(XY,Y^{m}-Y^{l})}.