Integers under Multiplication form Semigroup

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

Closure
Integer Multiplication is Closed.

Associativity
Integer Multiplication is Associative.

The criteria for $\left({\Z, \times}\right)$ to be a semigroup are seen to be satisfied.