对于集formula_1中任意元素formula_2，若实值函数formula_3符合以下三个条件，称它为一个伪度量（pseudometric）。它和一般距离（度量）的定义的分别只在于伪度量容许对于相异的元素formula_2，formula_8。
拓扑空间.若它是T，它是可距空间。