for T being non empty strict TopSpace
for A being Subset of T
for x being Point of T st A is a_neighborhood of x holds
Top2NTop A is a_neighborhood of Top2NTop x