Integers under Addition form Semigroup

Theorem
The set of integers under addition $\struct {\Z, +}$ forms a semigroup.

Proof
The semigroup axioms are:

We have that:
 * Integer Addition is Closed
 * Integer Addition is Associative

Hence the result.