theorem :: TOPREAL6:63

for n being Nat
for A being Subset of (TOP-REAL n) st A is bounded holds
Cl A is bounded ;