theorem Th5: :: XXREAL_2:5

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