Define Least Upper Bound Property