theorem :: TOPREAL6:85

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