商集合 M/~ 上赋加下面的（伪）度量。给定两个等价类 [x] 与 [y]，可定义其中，formula_149、formula_150、formula_151（即取从 [x] 至 [y] 经过所有等价类之路径的最短长度）。一般来说，这仅能定义出一个伪度量，即 d'([x],[y])=0 不一定蕴涵 [x] = [y]。不过，对于良好的等价关系（如将多面体沿着面胶合），则会是个度量。此外，若 M 是个紧致空间，则该度量在 M/~ 上导出之拓扑为商拓扑。商度量 d 具有下列泛性质：若 formula_1