## Definition

The additive group of integers $\struct {\Z, +}$ is the set of integers under the operation of addition.