theorem Th18: :: CONNSP_1:18

for GX being TopSpace
for A, C being Subset of GX st C is connected & C c= A & A c= Cl C holds
A is connected