Dedekind-complete
Redirect to:
Least-upper-bound property