Integers form Subdomain of Reals

Theorem
The integral domain of integers $\struct {\Z, +, \times}$ forms a subdomain of the field of real numbers.

Proof
We have that Integers form Subdomain of Rationals.

We have that Rational Numbers form Subfield of Real Numbers.

Hence the result, from the definition of subdomain.