theorem :: CONNSP_3:17

for GX being non empty TopSpace
for A being Subset of GX st A is connected & A <> {} holds
Cl A c= Component_of A