for X being non empty TopSpace
for x being Point of X
for V being Subset of X holds
( V is a_neighborhood of {x} iff V is a_neighborhood of x )