Definition:Up-Complete

Definition
Let $\left({S< \precsim}\right)$ be a preordered set.

$\left({S, \precsim}\right)$ is up-complete
 * every directed subset of $S$ admits a supremum in $\left({S, \precsim}\right)$