Definition:Order of Pole

Definition
Let $f: \C \to \C$ be a complex function.

Let $x \in U \subset \C$ be such that $f$ is analytic in $U \setminus \set x$, with a pole at $x$.

By Existence of Laurent Series there is a series:


 * $\displaystyle \map f z = \sum_{n \mathop \ge n_0}^\infty a_j \paren {z - x}^n$

The order of the pole at $x$ is defined to be $\size {n_0} > 0$.