Natural Numbers under Addition form Commutative Semigroup

From ProofWiki
Jump to navigation Jump to search


The algebraic structure $\left({\N, +}\right)$ consisting of the set of natural numbers $\N$ under addition $+$ is a commutative semigroup.


Consider the natural numbers $\N$ defined as the naturally ordered semigroup.

From the definition of the naturally ordered semigroup, it follows that $\left ({\N, +}\right)$ is a commutative semigroup.


Also see