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

Binoid: .

Eigenschaften:

Das Binoid ist endlich erzeugt.

Binoidalgebra: .