Kommutatives Binoid/Bipointed union N^Inf/Beispiel

Binoid: ${}M=\bigcup _{i=1}^{n}\mathbb {N} ^{\infty }$.

Eigenschaften:

Das Binoid ist endlich erzeugt.

Dimension: ${}1$.