theorem Th41: :: RLTOPSP1:41

for X being LinearTopSpace
for V1, V2 being bounded Subset of X holds V1 \/ V2 is bounded