\begin{definition}[Definition:Commutative Semiring]
Let $\left({S, \circ, *}\right)$ be an additive semiring such that the distributor operation $*$ is a commutative operation.
Then $\left({S, \circ}\right)$ is a '''commutative semiring'''.
Category:Definitions/Ring Theory
\end{definition}