Definition:Neighborhood of Point in Topological Space