theorem Th43: :: XXREAL_2:43

for X, Y being ext-real-membered set st X c= Y & Y is bounded_above holds
X is bounded_above