A set X is directed under some relation, <= (lessthan or equal), if it is non-empty and if for any two elementsx and y there exists an element z such that x <= z and y <= z.I.e. all pairs have an upper bound.
