context | O … open subset of C |
context | f:O→C |
definiendum | a∈it |
range | U … open subset of O |
range | g:O→C |
range | n∈N,n>0 |
postulate | ∃U,g,n. (z∈U)∧(f holomorphic on U∖{z})∧(g holomorphic on U)∧(f(z)=g(z)(z−a)n) |
The natural number n associated with a is called the order of the pole.
Wikipedia: Pole (complex analysis)