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