Definition A set S⊂R is bounded above if it has at least one upper bound Formal Definition ∃B∈R,∀x∈S,x≤B.