# Integers under Addition form Semigroup

## Theorem

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

## Proof

### Closure

$\Box$

### Associativity

$\Box$

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

$\blacksquare$