Kommutatives Binoid/(N^Inf)x(N^Inf)/Beispiel

Binoid: ${}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]\times K[Y]\times K[X,Y]$.