Codex > Orders (Set Theory)
🅟 Mar 19, 2026
🅤 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.
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.