# 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.

$\blacksquare$