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.