Semidirected Set

A semidirected set is a Preorder $(D,\leq)$ such that every Inhabited Finite subset has a (not necessarily least) upper bound.

Equivalently, an H-Set $D$ is a directed set if:

• For every $x,y:D$, there Merely exists a $z:D$ where $x\leq z$ and $y\leq z$.