Binoid: M = ( N 2 ) ∞ / ( 3 x = 5 x + 2 y , 3 y = 2 x + 5 y ) {\displaystyle {}M=(\mathbb {N} ^{2})^{\infty }/(3x=5x+2y,3y=2x+5y)} .
Eigenschaften:
Das Binoid ist nicht boolesch.
Das Binoid ist endlich erzeugt.
Das Binoid ist integer.
Das Binoid ist positiv.
Binoidalgebra: K [ M ] = K [ X , Y ] / ( X 3 − X 5 Y 2 , Y 3 − X 2 Y 5 ) {\displaystyle {}K[M]=K[X,Y]/(X^{3}-X^{5}Y^{2},Y^{3}-X^{2}Y^{5})} .