\begin{definition}[Definition:Semiring of Natural Numbers]
The '''semiring of natural numbers''' is the semiring $\struct {\N, +, \times}$ where:
:$\N$ is the set of natural numbers
:$+$ is the addition
:$\times$ is the multiplication
\end{definition}