\begin{definition}[Definition:Ordered Field]
Let $\left({R, +, \circ, \preceq}\right)$ be an ordered ring.
Let $\left({R, +, \circ}\right)$ be a field.
Then $\left({R, +, \circ, \preceq}\right)$ is an '''ordered field'''.
\end{definition}