Rational Numbers form Ordered Field

Theorem
The set of rational numbers $$\Q$$ forms a totally ordered field under addition and multiplication: $$\left({\Q, +, \times, \le}\right)$$.

Proof
This is demonstrated in the formal definition of rational numbers.