Integers under Addition form Semigroup

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

Closure
Integer Addition is Closed.

Associativity
Integer Addition is Associative.

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