Rational Multiplication is Closed

Theorem
The operation of multiplication on the set of rational numbers $\Q$ is well-defined and closed:
 * $\forall x, y \in \Q: x \times y \in \Q$