The notions “upper bound”, ”lower bound”, “least”, and “greatest” make sense
whenever we have an order, not just for numbers. Consider a fixed set X and its
subsets. We define an order by saying that A is less than B if A ⊂ B. a) every Y subset P(x) is bounded above and bounded below.