Rational Numbers under Multiplication form Monoid

Theorem
The set of rational numbers under multiplication $\struct {\Q, \times}$ forms a monoid.

Proof
Taking the monoid axioms in turn:

Rational Multiplication is Closed.

Rational Multiplication is Associative.

Rational Multiplication Identity is $1$.

Hence the result.