Integers under Multiplication form Semigroup

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

Integer Multiplication is Closed, fulfilling.

Integer Multiplication is Associative, fulfilling.

Hence the semigroup axioms are seen to be fulfilled.

Thus $\struct {\Z, \times}$ is a semigroup.