Axiom:Commutative and Unitary Ring/Axioms

Definition
A commutative and unitary ring is an algebraic structure $\left({R, *, \circ}\right)$, on which are defined two binary operations $\circ$ and $*$, which satisfy the following conditions:

These criteria are called the commutative and unitary ring axioms.

These can be alternatively presented as:

Also see

 * Definition:Commutative and Unitary Ring