Natural_Numbers_under_Addition_form_Commutative_Monoid

The algebraic structure $\struct {\N, +}$ consisting of the set of natural numbers $\N$ under addition $+$ is a commutative monoid whose identity is zero.