是一个集合，而集合中两个元素的距离（叫做度量）有清楚的定义。大部份的数学分析都是针对特定的度量空间，最常见的是数线、复数平面、欧几里得空间、其他向量空间及整数。数学中没有度量的分包括有量测理论（描述大小而不是距离）及泛函分析（研究不需要距离概念的拓扑向量空间）度量空间是一个有序对formula_1，其中formula_2是一集合，而formula_3为formula_2中的度量〈也是函数〉使得针对任何的formula_6，以下的叙述都成立：
数列及极限.数列是一个有序