Definition 1. A partially ordered set $X$ is Dedekind-complete if every non-empty subset of $X$ that is bounded from above has a supremum.
Pub Mar 19, 2026 Up Jun 10, 2026
Definition 1. A partially ordered set $X$ is Dedekind-complete if every non-empty subset of $X$ that is bounded from above has a supremum.