4，其中formula_55为实数集，且满足下列条件：此一距离函数称之为度量。具有度量之集合，称为度量空间。举例而言，两个实数formula_61与formula_62间的距离通常定义为：formula_63。此一定义满足上述三个条件，且会对应至实数线上的标准拓扑。不过，集合上的距离是可选择的，例如下面的定义：formula_64，若formula_58，否则为 1。此一定义亦符合度量的三个条件，但会形成一个完全不同的拓扑，称之为「离散拓扑」；在此一定义里，数字间无法随意地接近。Section::