Definition:Up-Complete

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

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