\begin{definition}[Definition:Complex Conjugate/Complex Conjugation]
The operation of '''complex conjugation''' is the mapping:
: $\overline \cdot: \C \to \C: z \mapsto \overline z$.
where $\overline z$ is the complex conjugate of $z$.
That is, it maps a complex number to its complex conjugate.
Category:Definitions/Complex Conjugates
\end{definition}