Rational Numbers form Subfield of Real Numbers

Theorem
The field $$\left({\mathbb{Q}, +, \times; \le}\right)$$ of rational numbers forms a subfield of the field $$\left({\mathbb{R}, +, \times; \le}\right)$$ of real numbers.

That is, the totally ordered field of real numbers $$\left({\mathbb{R}, +, \times; \le}\right)$$ is an extension of the rational numbers $$\left({\mathbb{Q}, +, \times; \le}\right)$$.