Neighbourhood
In topology, a neighbourhood1 of a point is a set containing some open set around a point. topology An open neighbourhood of a point is then an open set containing a point. Some authors use a different definition where all neighbourhoods are open,2 but this will be distinguished in these notes (see Topology notation in these notes)
It follows from this definition that a set is open iff it is a neighbourhood of all its points.
Examples
In a metric space
Let
which follows if