theorem Th23: :: JORDAN1J:23

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