间"X"是T 空间，当且仅当formula_1且formula_2，存在一个开集合formula_3使得formula_4或formula_5。T 空间中所有成对的独特的点都是拓扑可区分的。也就是说，对于任何两个独特的点 "x" 和 "y" ，有一个开集正好只包含这两个点其中的一个。注意拓扑可区分点自动的是独特的。在另一方面，如果单元素集合 {"x"} 和 {"y"} 是分离的，则点 "x" 和 "y" 必定是拓扑可区分的。也就是说，是拓扑可区分的性质一般的要强于是独特的，但要弱于可分离的。在 T