Definition:Semiring of Natural Numbers
Jump to navigation
Jump to search
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