这三个集合是一致的：
连续函数.设"f" : "X" → "Y"是连续函数。则对于任何"X"中的"x"和"y"有
柯尔莫果洛夫商空间.因为拓扑不可分别性是在任何拓扑空间"X"上的等价关系，我们可以形成商空间"KX" = "X"/≡。空间"KX"被叫做柯尔莫哥洛夫商空间或"X"的T同一。事实上，空间"KX"是T（就是说所有点都是拓扑可区分的）。此外，通过商映射的特征性质，任何从"X"到T空间的连续映射"f" : "X" → "Y"通过商映射"q" : "X"