Axiom:Ring Axioms

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

These four stipulations are called the ring axioms.