theorem Th24: :: JORDAN1J:24

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