Directed set

A set equipped with a directed order. A set with partial order is called upwards (respectively, downwards) directed if (respectively, the opposite order ) is a directed order. For example, the set of all open coverings of a topological space is a downwards directed set, with if is a refinement of ; another example of a downwards directed set is a pre-filter, that is, a family of non-empty sets such that if then there exists a such that . The main use of directed sets (and of filters, cf. Filter) is as index sets in the definition of generalized sequences (cf. Generalized sequence) of points, or nets, in topological spaces, in the study of the convergence of such sequences, etc.

Comments

A pre-filter is also called a filterbase.

In addition to the topological application mentioned above, directed sets play an important role in category theory, lattice theory and theoretical computer science. In category theory they occur as the indexing sets of direct and inverse systems (see System (in a category)). In computer science, data structures are often modelled by partially ordered sets in which every upwards directed subset has a least upper bound (though finite subsets often do not); see [a1], for example. In lattice theory, least upper bounds of directed subsets again play a distinctive part; see Continuous lattice, for example.

References

[a1]	D.S. Scott, "Data types as lattices" SIAM J. Computing , 5 (1976) pp. 522–587