theorem Th47: :: SPRECT_1:47

for S being Subset of (TOP-REAL 2)
for C1, C2 being non empty compact Subset of (TOP-REAL 2) st S = C1 \/ C2 holds
W-bound S = min ((W-bound C1),(W-bound C2))