theorem Th85: :: RFUNCT_1:85

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