n. a set endowed with a transitive and reflexive relation, ≥, such that, given any two points a and b in the set, there exists another point c in the set with a ≥ c, c ≥ b. The relation then directs the set. For example, the finite subsets of an infinite set are directed by inclusion. Any total ordering is directed.