theorem Th108: :: JORDAN2C:124

for C being compact Subset of (TOP-REAL 2) holds UBD C is_a_component_of C `