\begin{definition}[Definition:Pole of Complex Function]
Let $U \subset \C$ be an open subset of the complex plane.
Let $f : U \to \C$ be a holomorphic function on $U$.
Let $p \in \C$ be an isolated singularity of $f$.
\end{definition}