来说，这仅能定义出一个伪度量，即 d'([x],[y])=0 不一定蕴涵 [x] = [y]。不过，对于良好的等价关系（如将多面体沿着面胶合），则会是个度量。此外，若 M 是个紧致空间，则该度量在 M/~ 上导出之拓扑为商拓扑。商度量 d 具有下列泛性质：若 formula_152 是个度量空间之间的（即对于所有 x、y，formula_153），满足当 formula_154 时，f(x)=f(y) 的条件，则函数 formula_155 定义为 formula_156，亦会是个度量映射 formul