Kommutatives Binoid/(N^Inf Bipointed union N^Inf)/((k;1)=(l;2) neq Inf)/Beispiel

Binoid: .

Eigenschaften:

Das Binoid ist endlich erzeugt.

Binoidalgebra: .