Axiom:Semiring Axioms

Definition
Let $\struct {S, *, \circ}$ be an algebraic structure.

$\struct {S, *, \circ}$ is a semiring $\struct {S, *, \circ}$ satisfies the axioms

These criteria are called the semiring axioms.

Also see

 * Definition:Semiring