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.