theorem :: TOPREAL6:86

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