\begin{definition}[Definition:Complex Number/Complex Plane/Real Axis]
Let the set $\C$ of complex number be expressed as an ordered pairs on the complex plane.
Complex numbers of the form $\tuple {x, 0}$, being wholly real, appear as points on the $x$-axis.
\end{definition}