Kommutatives Binoid/(N^Inf)^3/(x+y=3z)/Beispiel

Binoid: .

Eigenschaften:

Das Binoid ist endlich erzeugt.

Binoidalgebra: .