theorem :: CONNSP_3:31

for GX being non empty TopSpace
for V, B being Subset of GX st V c= B holds
Cl (Down (V,B)) c= Cl V