A set of axioms that define the "separation" properties of topological spaces, such as the Hausdorff and Urysohn axioms.