Kommutatives Binoid/N^Inf Bipointed union N^Inf/Beispiel

Binoid: ${}M=\mathbb {N} ^{\infty }\bigcup \mathbb {N} ^{\infty }$.

Eigenschaften:

Das Binoid ist nicht boolesch.

Das Binoid ist endlich erzeugt.

Das Binoid ist nicht integer.

Das Binoid ist positiv.

Das Binoid ist reduziert.

Dimension: ${}1$.

Binoidalgebra: ${}K[M]=K[X,Y]/(XY)$.