空间是一个有序对formula_1，其中formula_2是一集合，而formula_3为formula_2中的度量〈也是函数〉使得针对任何的formula_6，以下的叙述都成立：
数列及极限.数列是一个有序的列表，数列像集合一样都是由元素组成，但和集合不同，数列有顺序的概念，而完全相同的元素可以在数列中出现一至多次。更准确的说法，数列可以用定义域为全序关系可数集（例如自然数）的函数来定义。数列最重要的性质是收敛，若简单的做非正式的定义，一数列若存在极限，表示此数列收敛。