Binoid: M = N ∞ × N ∞ {\displaystyle {}M=\mathbb {N} ^{\infty }\times \mathbb {N} ^{\infty }} .
Eigenschaften:
Das Binoid ist nicht boolesch.
Das Binoid ist endlich erzeugt.
Das Binoid ist nicht integer.
Das Binoid ist kürzbar.
Das Binoid ist positiv.
Binoidalgebra: K [ M ] = K [ X ] × K [ Y ] × K [ X , Y ] {\displaystyle {}K[M]=K[X]\times K[Y]\times K[X,Y]} .
![{\displaystyle {}K[M]=K[X]\times K[Y]\times K[X,Y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8417ea31cf0b4d6a1084d58eab1907a8929331b8)