Axiom:Additive Semiring Axioms

Definition
An additive semiring is an algebraic structure $\struct {R, *, \circ}$, on which are defined two binary operations $\circ$ and $*$, which satisfy the following conditions:

These criteria are called the additive semiring axioms.

Also see

 * Definition:Additive Semiring