\begin{definition}[Definition:Division/Complex Numbers]
Let $\struct {\C, +, \times}$ be the field of complex numbers.
The operation of '''division''' is defined on $\C$ as:
:$\forall a, b \in \C \setminus \set 0: \dfrac a b := a \times b^{-1}$
where $b^{-1}$ is the multiplicative inverse of $b$ in $\C$.
\end{definition}