Kommutatives Binoid/(N^2)^Inf/(3x=5x+2y,3y=2x+5y)/Beispiel

Binoid: .

Eigenschaften:

Das Binoid ist nicht boolesch.

Das Binoid ist endlich erzeugt.

Das Binoid ist integer.

Das Binoid ist positiv.

Binoidalgebra: .