Definition

If $z=a+bi$ is a complex number, we define the complex conjugate of $z$ to be the complex number $\bar{z} := a-bi$.