in computer science.

Upper and lower sets

Let X be a topological space and let <= be the specialization preorder on X. Every open set is an upper set with respect to <= and every closed set is a lower set. The converses are not generally true. In fact, a topological space is an Alexandrov-discrete space if and only if every upper set is also open (or equivalently every lower set is also closed).

1.Previous
3.Next