Supremum of Set of Real Numbers is at least Supremum of Subset/Proof 3

Proof
By the Continuum Property, $T$ admits a supremum.

We have: