実際、上述の如くそのような一様系はただ一つの擬距離によって定義することができて、それは空間がハウスドルフならば距離とならねばならない。
实际上，如在上面伪度量定义中讨论的，这种一致性可以定义自单一的伪度量，如果这个空间是豪斯多夫的，则它必然是度量。