Axiom:Rig Axioms

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

$\struct {S, *, \circ}$ satisfies the rig axioms $\struct {S, *, \circ}$ satisifes the axioms:

Also see

 * Definition:Rig