Definition:Semiring of Natural Numbers

Definition
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

Also see

 * Natural Numbers form Commutative Semiring