Closed point 2026-10-06
A point of a topological space is closed when its singleton is a closed set. In a T1 space every point is closed. The closed points of an affine scheme are its maximal ideals; the closure of the point corresponding to is .
Separation axiom 2026-10-06
A separation axiom is a condition on a topological space expressing how points or closed subsets can be distinguished by open sets. The Kolmogorov space condition distinguishes distinct points by some open set; the T1 space condition makes every point closed; the stronger Hausdorff space condition gives disjoint neighbourhoods to distinct points.