A set has the ''least upper bound property'' if every set that has an upper bound has a least upper bound. There is also a ''greatest lower bound property'', and any reasonable set having one property has the other. | A set has the ''least upper bound property'' if every set that has an upper bound has a least upper bound. There is also a ''greatest lower bound property'', and any reasonable set having one property has the other. |