定义另一个拓扑空间性质，通过定义空间 "X" 为满足这个性质，当且仅当柯尔莫果洛夫商 KQ("X") 是豪斯多夫的。这是一个明智的不太着名的性质，这种空间 "X" 被为预正则的。（甚至有预正则性的更直接的定义）。现在考虑可以放置到拓扑空间上一个结构，比如度量。我们可以通过设置在 "X" 上的结构简单的是在 KQ("X") 上的度量来定义一个新结构。有这种在 "X" 上的明智的结构，它就是伪度量。（伪度量也有更直接的定义）。在这种方式下，有从性质或结构的要求中去除 T 性的自然方式。研究 T 的空间一般要