Alexandrov topology

Summary

An Alexandrov topology is a topology in which the intersection of any family of open sets, finite or infinite, is open. Equivalently, every point has a smallest open neighbourhood. Alexandrov topologies on a set correspond exactly to preorders on it: the open sets are the upper sets of the preorder. Every finite topological space is of this kind, so these spaces are the bridge between finite topology and order theory.