Definition:Greatest Lower Bound