Kommutatives Binoid/FC(x,y,z)/(2x=Inf,x+y=x+z)/Beispiel

Binoid: .

Eigenschaften:

Das Binoid ist endlich erzeugt.

Das Binoid ist nicht kürzbar.

Das Binoid ist positiv.

Das Binoid ist nicht reduziert.

Binoidalgebra: .