DKCP#DEF. Dedekind Completeness.
Let $X$ be a partially ordered set. $X$ is Dedekind-complete if every non-empty subset of $X$ that is bounded from above has a supremum.
DKCP#DEF. Dedekind Completeness.
Let $X$ be a partially ordered set. $X$ is Dedekind-complete if every non-empty subset of $X$ that is bounded from above has a supremum.