The greatest lower bound, or infimum, of a nonempty set 
of real numbers having a lower bound is the number
associated with 
,
denoted 
,
that satisfies the following properties:
1. 
for all 
.
2. For all real numbers 
, if 
is a lower bound for 
, then 
.
