Binoid: M = ( ( N ≥ 1 ∞ ) n ) 0 , n ≥ 2 {\displaystyle {}M=((\mathbb {N} _{\geq 1}^{\infty })^{n})^{0}{\text{, }}n\geq 2} .
Eigenschaften:
Das Binoid ist nicht endlich erzeugt.