\begin{definition}[Definition:Complex Number/Real Part]
Let $z = a + i b$ be a complex number.
The '''real part''' of $z$ is the coefficient $a$.
The '''real part''' of a complex number $z$ is usually denoted on {{ProofWiki}} by $\map \Re z$ or $\Re z$.
\end{definition}