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