Completeness

• Does Every Nonempty Bounded-Above Set of Real Numbers Have a Supremum?
  Every nonempty subset of the real numbers that is bounded above has a supremum, by the completeness property of the real numbers.