度量空間度量空間由集合與距離函數組成，距離非負、只在相同點為零、對稱且滿足三角不等式。atlas-metric-space · canonical_mko度量空間前置節點集合函數映射二元關係與集合投影實數實數大小與順序