Greatest Lower Bound

See Infimum, Least Upper Bound