In mathematics, a directed set is a nonempty set together with a reflexive and transitive binary relation, with the additional property that every pair of elements has an upper bound. In other words, for any and in there must exist in with and A... Wikipedia