If and are bounded and non-empty subsets of . Prove the following:
if , supremum supremum .
Let . Since is an upper bound for , for all . Therefore, is an upper bound for . Moreover, if we let be any other upper bound for , we have that is an upper bound for . Thus, . So, satisfies the definition of .