限制条件。拓扑不可区分性会在拓扑空间"X"上定义出一个等价关系。设"x"和"y"为"X"内的两个点，若"x"和"y"为拓扑不可区分的，便标记成"x" ≡ "y"；"x"的等价类则标记为["x"]。
例子.对T空间（特别是豪斯多夫空间）而言，拓扑不可区分的概念是没有意义的，因此若要寻找有趣的例子，必须要在非T空间中才行。另一方面，由于正则性和正规性并不蕴涵T，所以可以找到一些有这些性质的例子。事实上，下面给出的例子就几乎都是完全正则的。
特殊化预序.在