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