Integers under Multiplication form Monoid

Theorem
The set of integers under multiplication $\left({\Z, \times}\right)$ is a monoid.

Proof
From Integers under Multiplication form Semigroup, $\left({\Z, \times}\right)$ is a semigroup.

From Integer Multiplication Identity is One, $\left({\Z, \times}\right)$ has an identity element, which is $1$.

All the criteria for being a monoid are thus seen to be fulfilled.