##### 分离公理 - 分离公理 - **分离公理**是描述[[拓扑空间]]中点与点, 点与集合, 集合与集合之间分离性质的一组公理体系, 这些公理定义了拓扑空间的不同层次的分离能力. 分离公理按强弱关系从弱到强排列, 常见的有 $T_0$, $T_1$, $T_2$​ ([[豪斯多夫空间]]), $T_3$, $T_{3.5}$ ([[正则空间]]), $T_4$​ ([[正规空间]]), 以及更高层次的分离公理