Binoid: M = F C ( b 1 , b 2 , b 3 ) / ( b 1 + b 2 = ∞ , 2 b i = b i , i ∈ { 1 , 2 , 3 } ) {\displaystyle {}M={\mathsf {F}}{\mathsf {C}}(b_{1},b_{2},b_{3})/(b_{1}+b_{2}=\infty ,2b_{i}=b_{i},i\in \{1,2,3\})} .
Eigenschaften:
Das Binoid ist boolesch.
Das Binoid ist endlich erzeugt.
Das Binoid ist nicht integer.
Dimension: 2 {\displaystyle {}2} .
Binoidalgebra: K [ M ] = K [ b 1 , b 2 , b 3 ] / ( b 1 b 2 , b i 2 − b i ) {\displaystyle {}K[M]=K[b_{1},b_{2},b_{3}]/(b_{1}b_{2},b_{i}^{2}-b_{i})} , i ∈ { 1 , 2 , 3 } {\displaystyle {}i\in \{1,2,3\}} .