Real Numbers under Multiplication form Monoid

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

Proof
Taking the monoid axioms in turn:

S0: Closure
Real Multiplication is Closed.

S1: Associativity
Real Multiplication is Associative.

S2: Identity
Real Multiplication Identity is $1$.

Hence the result.