GLB
greatest lower bound