# 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.