#supremum #least upper bound #minimal upper bound #lub #order theory #balance point