theorem :: TOPREAL6:88

for D being non empty Subset of (TOP-REAL 2) st D is bounded holds
S-bound D = S-bound (Cl D)