无穷小是极限为零的函数。如 是自变量 ，因变量极限为零的函数。此时f(x)就是 的无穷小。[3]
无穷大是指绝对值大于任何数的函数，因此负无穷不是无穷小，而是无穷大。
图示
设f在某x0的空心邻域有定义。
对于任给的正数 ε（无论它多么小），总存在正数 （或正数 ）使得不等式 （或 ）的一切 对应的函数值 都满足不等式 ，则称函数 为当 （或 ）时的无穷小量。记做： （或 ）。[1]
1、无穷小量不是一个数，它是一个变量。
2、零可以作为无穷小量的唯一一个常量。
3、无穷小量与自变量的趋势相关。
4、若函数 在某 的空心邻域内有界，则称g为当 时的有界量。
例如 ，都是当 时的无穷小量， 是当 时的无穷小量，而 为 时的有界量， 是当 时的有界量。特别的，任何无穷小量也必定是有界量。
5、有限个无穷小量之和仍是无穷小量。[2]
6、有限个无穷小量之积仍是无穷小量。
7、有界函数与无穷小量之积为无穷小量。
8、特别地，常数和无穷小量的乘积也为无穷小量。
9、恒不为零的无穷小量的倒数为无穷大，无穷大的倒数为无穷小。
当自变量x趋于x0时，函数的绝对值无限增大，则称 为当 时的无穷大。记作 。[1]
同样，无穷大不是一个具体的数字，而是一个无限发展的趋势。
无穷小量是以0为极限的函数，而不同的无穷小量收敛于0的速度有快有慢。因此两个无穷小量之间又分为高阶无穷小 ，低阶无穷小，同阶无穷小，等价无穷小。[2]
首先规定 都为 时的无穷小， 在某 的空心邻域恒不为0。
，则称当 时，f为g的高阶无穷小量，或称g为f的低阶无穷小量。[1]
记做 ( )
特别的，f为当 时的无穷小量记作 ( )。
当 （c≠0）时，ƒ和ɡ为 时的同阶无穷小量。[2]
当x→0时的同阶无穷小量：
，则称ƒ和ɡ是当 时的等价无穷小量，记做： （ ）。[2]
等价无穷小量应用最广泛，常见的有：
当x→0时
， ， （ ）