Binoid: M = F C ( x , y ) {\displaystyle {}M={\mathsf {F}}{\mathsf {C}}(x,y)} .
Eigenschaften:
Das Binoid ist nicht boolesch.
Das Binoid ist endlich erzeugt.
Das Binoid ist semifrei.
Das Binoid ist integer.
Dimension: 2 {\displaystyle {}2} .
Binoidalgebra: K [ M ] = K [ X , Y ] {\displaystyle {}K[M]=K[X,Y]} .
![{\displaystyle {}K[M]=K[X,Y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/542de9ab9225242a53862c7584cd7992b4503095)