Definition:Least Upper Bound