theorem Th7: :: CONNSP_3:7

for GX being non empty TopSpace
for A being Subset of GX st A is a_component holds
Component_of A = A