The Question: Show the rational numbers satisfy the field axioms. You may assume the commutative, associative, and distributive laws hold for the integers.

Earlier, the book defined the field axioms for the real numbers. Is it correct to say that the rationals are a subset of the reals, therefore they satisfy the field axioms?