Kommutatives Binoid/FC(a,b,c,d)/(c+d=Inf,a+c=c,b+d=d)/Beispiel

Binoid: .

Eigenschaften:

Das Binoid ist endlich erzeugt.

Das Binoid ist nicht integer.

Binoidalgebra: .