theorem Th3: :: CONNSP_3:3

for GX being non empty TopSpace holds Component_of ({} GX) = the carrier of GX