Kommutatives Binoid/((N geq 1)^n)^Inf)/Beispiel

Binoid: ${}M=((\mathbb {N} _{\geq 1})^{n})^{\infty }{\text{, }}n\geq 2$.

Eigenschaften:

Das Binoid ist nicht endlich erzeugt.