An ordered field $F$ in the sense of \ref{def:ordered-field-c54-2026b} is Dedekind complete if every nonempty subset $X\subseteq F$ that is bounded above has a least upper bound in $F$, in the sense of \ref{def:upper-bound-supremum-c54-2026b}.