Introduction to Abstract Mathematics

Let A be a nonempty subset of IR. Let B : {\/ (1 | a E A}. Prove that if A is bounded above then B is bounded below and inf(B) : - sup(A). [2]