theorem Th19: :: CONNSP_1:19

for GX being TopSpace
for A being Subset of GX st A is connected holds
Cl A is connected