Definition

Say we have
Then greatest lower bound of .

What is the "lower bound"?

The infimum is denoted by .