Dedekind-Complete Bounded Ordered Set is Complete Lattice

Theorem
Let $\left({L, \preceq}\right)$ be an ordered set.

Let $L$ have a lower bound $\bot$ and an upper bound $\top$.

Let $\left({L, \preceq}\right)$ be Dedekind-complete.

Then $\left({L, \preceq}\right)$ is a complete lattice.

Proof
Let $S \subseteq L$.

If $S = \varnothing$, then $S$ has a supremum of $\bot$ and an infimum of $\top$.

Let $S \ne \varnothing$.

$S$ is bounded above by $\top$.

As $\left({L, \preceq}\right)$ is Dedekind complete, $S$ has a supremum.

$S$ is bounded below by $\bot$.

By Dedekind Completeness is Self-Dual, $S$ has an infimum.

Thus every subset of $L$ has a supremum and an infimum.

So, by definition, $\left({L, \preceq}\right)$ is a complete lattice.