theorem Th8: :: SPRECT_3:8

for A, B being Subset of (TOP-REAL 2) st A is open & B is_a_component_of A holds
B is open