使得针对任何的formula_6，以下的叙述都成立：
数列及极限.数列是一个有序的列表，数列像集合一样都是由元素组成，但和集合不同，数列有顺序的概念，而完全相同的元素可以在数列中出现一至多次。更准确的说法，数列可以用定义域为全序关系可数集（例如自然数）的函数来定义。数列最重要的性质是收敛，若简单的做非正式的定义，一数列若存在极限，表示此数列收敛。若继续下非正式的定义，一个无穷数列"a"，若在n非常大时接近一数值"x"，则称此数列有极限，而其极限为"x"，因此极限也可以视为是数