theorem Th65: :: TOPREAL6:67

for n being Nat
for A, B being Subset of (TOP-REAL n) st A is bounded & B is bounded holds
A \/ B is bounded