rmula_5。T 空间中所有成对的独特的点都是拓扑可区分的。也就是说，对于任何两个独特的点 "x" 和 "y" ，有一个开集正好只包含这两个点其中的一个。注意拓扑可区分点自动的是独特的。在另一方面，如果单元素集合 {"x"} 和 {"y"} 是分离的，则点 "x" 和 "y" 必定是拓扑可区分的。也就是说，是拓扑可区分的性质一般的要强于是独特的，但要弱于可分离的。在 T 空间中，第二个箭头是可以反转的：点是独特的当且仅当它们是拓朴可区分的。这是 T 公理适合余下分离公理之处。Section: