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

Aus Wikiversity

Binoid: .

Eigenschaften:

Das Binoid ist nicht boolesch.

Das Binoid ist endlich erzeugt.

Das Binoid ist integer.

Das Binoid ist nicht kürzbar.

Das Binoid ist positiv.

Das Binoid ist separiert.

Dimension: .

Binoidalgebra: .