对于任意两点 
存在两个开集 
和 
使得 
且 
，以及 
且 
。 满足此公理的空间被称为 T1 空间。
T_1-分离公理
另请参阅
Hausdorff 公理, 分离公理, T1 空间此条目由 Margherita Barile 贡献
使用 Wolfram|Alpha 探索
引用为
Barile, Margherita. "T_1-分离公理." 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/T1-SeparationAxiom.html