theorem Th86: :: RFUNCT_1:86

for X, Y being set
for f being real-valued Function st f | X is bounded_below & f | Y is bounded_below holds
f | (X \/ Y) is bounded_below