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

Binoid: .

Eigenschaften:

Das Binoid ist endlich erzeugt.

Binoidalgebra: .