# Definition:Semiring of Natural Numbers

The semiring of natural numbers is the semiring $\left({\N, +, \times}\right)$ where:
$\N$ is the set of natural numbers
$+$ is the addition
$\times$ is the multiplication