Integers under Multiplication form Semigroup

Theorem
The set of integers under multiplication $\struct {\Z, \times}$ is a semigroup.

Closure
Integer Multiplication is Closed.

Associativity
Integer Multiplication is Associative.

The criteria for $\struct {\Z, \times}$ to be a semigroup are seen to be satisfied.