#supremum #least upper bound #upper boundary #minimum bound #lub #order theory #stopping point