theorem Th48: :: SPRECT_1:48

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
S-bound S = min ((S-bound C1),(S-bound C2))