theorem Th8: :: CONNSP_3:8

for GX being non empty TopSpace
for A being Subset of GX holds
( A is a_component iff ex V being Subset of GX st
( V is connected & V <> {} & A = Component_of V ) )