theorem :: RFUNCT_1:87

for X, Y being set
for f being real-valued Function st f | X is bounded & f | Y is bounded holds
f | (X \/ Y) is bounded by Th85, Th86;