Let be an arbitrary element of and be the element of such that . Now we know that for all , by the definition of supremum. So we have . In particular, we have for all . But this means that is an upper bound for the set . Now, by the defintion of the supremum, for all AND is less than or equal to any other upper bound for . Thus we have , as desired.