Definition:Semiring of Natural Numbers

From ProofWiki
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


Also see