theorem :: CONNSP_2:28

for X being non empty TopSpace
for A being Subset of X holds [#] X is a_neighborhood of A