Binoid: M = N ∞ ∧ N ∞ ≅ ( N 2 ) ∞ {\displaystyle {}M=\mathbb {N} ^{\infty }\wedge \mathbb {N} ^{\infty }\cong (\mathbb {N} ^{2})^{\infty }} .
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)