Let be a nonempty set of real numbers that has an upper bound. Then a number is called the least upper bound (or the supremum, denoted ) for iff it satisfies the following properties:
1. for all .
2. For all real numbers , if is an upper bound for , then .