GLB

greatest lower bound