\begin{definition}[Definition:Additive Monoid of Natural Numbers]
The '''additive monoid of natural numbers''' $\left({\N, +}\right)$ is the set of natural numbers under the operation of addition.
\end{definition}