Definition:Semiring of Natural Numbers

From ProofWiki
Jump to navigation Jump to search

Definition

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


Also see