\begin{definition}[Definition:Additive Group of Integer Multiples]
Let $n \in \Z_{>0}$.
The '''additive group $\left({n \Z, +}\right)$ of integer multiples of $n$'''  is the set of integer multiples of $n$ under the operation of addition.
\end{definition}