theorem Th25: :: JORDAN1J:25

for X, Y being non empty compact Subset of (TOP-REAL 2) st S-bound X <= S-bound Y holds
S-bound (X \/ Y) = S-bound X