For a set of what?

It is basically encoded in the definition of the real numbers that any bounded set of real numbers will have a supremum/infinum. The precise proof of this fact would depend on how you rigorously defined the reals. (And the nonrigorous high school treatment of the reals does not suffice for this purpose).