# nLab main separation axioms -- table

the main separation axioms

numbernamestatementreformulation
$T_0$Kolmogorovgiven two distinct points, at least one of them has an open neighbourhood not containing the other pointevery irreducible closed subset is the closure of at most one point
$T_1$given two distinct points, both have an open neighbourhood not containing the other pointall points are closed
$T_2$Hausdorffgiven two distinct points, they have disjoint open neighbourhoodsthe diagonal is a closed map
$T_{\gt 2}$$T_1$ and…all points are closed and…
$T_3$regular Hausdorff…given a point and a closed subset not containing it, they have disjoint open neighbourhoods…every neighbourhood of a point contains the closure of an open neighbourhood
$T_4$normal Hausdorff…given two disjoint closed subsets, they have disjoint open neighbourhoods…every neighbourhood of a closed set also contains the closure of an open neighbourhood
… every pair of disjoint closed subsets is separated by an Urysohn function

Last revised on September 25, 2019 at 17:24:10. See the history of this page for a list of all contributions to it.