theorem :: VFUNCT_1:49

for X, Y being set
for C being non empty set
for V being RealNormSpace
for f being PartFunc of C,V st f is_bounded_on X & f is_bounded_on Y holds
f is_bounded_on X \/ Y