\begin{definition}[Definition:Additive Group of Rational Numbers]
The '''additive group of rational numbers''' $\struct {\Q, +}$ is the set of rational numbers under the operation of addition.
\end{definition}