Greatest lower bound
Redirect to:
Infimum and supremum