Greatest Lower Bound

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 .

REFERENCES:

Rudin, W. Principles of Mathematical Analysis, 3rd ed. New York: McGraw-Hill, p. 4, 1976.