Axiom:Valuation Axioms

Definition
Let $\struct {R, +, \times}$ be a ring.

Let $\nu$ be a valuation on $R$.

The valuation axioms are the following conditions on $\nu$ which define $\nu$ as being a valuation: