Recall that we defined a neighborhood of a point in a metric space to be a subset of the space that contains an open ball centered at . Every open ball is an open set, so we can extend the idea of neighborhood to topological spaces.
Let be a topological space, and let be a subset of . First we demonstrate that if is open, then is a neighborhood of each of its points. Assume that is an open set, and let . Then contains the open set that contains , so is a neighborhood of .