theorem Th6: :: XXREAL_2:6

for A, B being ext-real-membered set st B c= A holds
for x being UpperBound of A holds x is UpperBound of B