"A" = "B"。直观上来说，若"X"的拓扑无法分辨之中的两点，即可称这两点为拓扑不可区分的。若"X"内的两点不是拓扑不可区分的，则称这两点为「拓扑可区分的」。这表示存在只包含两点之中的其中一点的开集（或等价地说，存在只包含两点之中的其中一点的闭集），而这个开集则可以用来使两个点可以区分。T空间是一个拓扑空间，其中任意两个相区别的点都是拓扑可区分的。这是分离公理中最弱的一个限制条件。拓扑不可区分性会在拓扑空间"X"上定义出一个等价关系。设"x"和"y"为"X"内的两个点，若"x"和"y"为拓扑