theorem Th49: :: INTEGRA1:51

for X, Y being Subset of REAL st X is bounded_above & Y is bounded_above holds
X ++ Y is bounded_above