directed set
<theory> A {set} X is directed under some {relation}, <= (less
than or equal), if it is non-empty and if for any two elements
x and y there exists an element z such that x <= z and y <= z.
I.e. all pairs have an {upper bound}.
(1994-11-11)