theorem Th29: :: CONNSP_3:29

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