Binoid: M=FC(x,y,z)/(2x=∞,x+y=x+z){\displaystyle {}M={\mathsf {F}}{\mathsf {C}}(x,y,z)/(2x=\infty ,x+y=x+z)}.
Eigenschaften:
Das Binoid ist endlich erzeugt.
Das Binoid ist nicht kürzbar.
Das Binoid ist positiv.
Das Binoid ist nicht reduziert.
Binoidalgebra: K[M]=K[X,Y,Z]/(X2,XY−XZ){\displaystyle {}K[M]=K[X,Y,Z]/(X^{2},XY-XZ)}.