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