定理（归结原则）　设$f$在$U^\circ \left( x_0;\delta' \right)$内有定义。$\lim\limits_{x \rightarrow x_0}f\left( x \right)$存在的充要条件是：对任何含于$U^\circ \left( x_0;\delta' \right)$且以$x_0$为极限的数列$\left\{a_n \right\}$，极限$\lim\limits_{x \rightarrow x_0}f\left( x_n \right)$都存在且相等。