Let be a nonempty set of real numbers that has a lower bound. A number is the called the greatest lower bound (or the infimum, denoted ) for iff it satisfies the following properties:
1. for all .
2. For all real numbers , if is a lower bound for , then .