\begin{definition}[Definition:Extended Complex Plane]
The '''extended complex plane''' $\overline \C$ is defined as:
:$\overline \C := \C \cup \set \infty$
that is, the set of complex numbers together with the point at infinity.
\end{definition}