Alexandrov topology
In general topology, an Alexandrov topology is a topology in which the intersection of an arbitrary family of open sets is open (while the definition of a topology only requires this for a finite family). Equivalently, an Alexandrov topology is one whose open sets are the upper sets for some preorder on the space.