数是个函数，定义了集合内每一对元素之间的距离。带有度量的集合叫做度量空间。度量能导出集合上的拓扑，但不是所有拓扑都可以由度量生成。当一个拓扑空间的拓扑可以由度量来描述的时候，则称此一拓扑空间为可度量化的。在微分几何中，“度量”一词也用来称唿定义为由微分流形的切向量映射至纯量之双线性形式，让沿着曲线的距离可透过积分来取得。此一概念有个更适合的术语，称之为度量张量（或黎曼度量）。
定义.集合 "X" 上的度量为一函数 (称之为“距离函数”或简称为“距离”)这里的 R 是实数的集