对于任意两点存在两个开放集和这样的话和，以及和。满足此公理的空间称为T1-空间.
此条目由贡献玛格丽塔巴里尔
更多需要尝试的事情：
玛格丽塔·巴里尔“T_1-分离公理”数学世界--Wolfram Web资源，创建人埃里克韦斯特因.https://mathworld.wolfram.com/T1-SeparationAxiom.html
