infimum

greatest lower bound