Axiom:Semiring Axioms

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

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

Also see

 * Definition:Semiring