Kommutatives Binoid/N^Inf/(n=k) Bipointed union N^Inf/(m=l)/Beispiel

Binoid: .

Eigenschaften:

Das Binoid ist endlich erzeugt.

Binoidalgebra: .