Definition:Ordered Field

Definition
Let $\left({R, +, \circ, \preceq}\right)$ be an ordered ring.

If $\left({R, +, \circ}\right)$ is a field, then $\left({R, +, \circ, \preceq}\right)$ is an ordered field.