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.
References
- [1]
- Wikipedia contributors. Least-upper-bound property. Wikipedia, The Free Encyclopedia.
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.