^Bartle and Sherbert (2011) define the "completeness property" and say that it is also called the "supremum property". (p. 39)
^Willard says that an ordered space "X is Dedekind complete if every subset of X having an upper bound has a least upper bound." (pp. 124-5, Problem 17E.)
