rmula_18的一阶导数在formula_9处具有简单极点，则formula_9是formula_18的一个，但反过来不成立。一个既不是极点又不是分支点的非可去奇点称为本性奇点。除了一些孤立奇点外全纯的函数，且所有的奇点均为极点，则该函数称为亚纯函数。