theorem :: CONNSP_2:29

for X being non empty TopSpace
for A being Subset of X
for Y being a_neighborhood of A holds A c= Y