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 
.
