Definition:Directed Set

Definition

Let $D$ be a set, and let $\leq$ be a preordering on $D$.

Suppose that furthermore:

$\forall a,b \in D: \exists c \in D: a \leq c \land b \leq c$

Then $\left({D, \leq}\right)$ is said to be a directed set.