theorem Th82: :: TOPREAL6:89

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