Definition:Directed Preordering

Definition
A pair $(D,\leq)$ where $D$ is a set and $\leq$ is a realtion is called a directed set if $\leq$ is transitive and reflexive, and also $\forall a,b\in D$, $\exists c\in D$ such that $a\leq c$ and $b\leq c$