Definition
The separation axioms are properties of topological spaces that characterize how distinct points and closed sets can be separated by open sets. These axioms form a hierarchy of increasingly stronger conditions:
T3.5 Space (Completely Regular Space)