定义　若$\lim\limits_{n \rightarrow \infty}a_n=0$，则称$\left\{a_n \right\}$为无穷小数列。

定理　数列$\left\{a_n \right\}$收敛于$a$的充要条件是：$\left\{a_n - a \right\}$为无穷小数列。