すなわち、ある数列(a0,a1,a2,...)が有界であるとは、ある実数Mが存在して、すべての自然数nに対して|an|≤M{\displaystyle|a_{n}|\leqM}が成立することを言う。
所以，一个数列f=(a0,a1,a2,...)是有界的，如果存在一个数M＞0，使得对于所有的自然数n，都有|an|≤M。