# Definition:Complex Conjugate/Complex Conjugation

$\overline \cdot: \C \to \C: z \mapsto \overline z$.
where $\overline z$ is the complex conjugate of $z$.