closure
The closure of a subset of a topological space
is the intersection
of all closed sets
containing .
Equivalently, consists of together with all limit points of in or equivalently if and only if every neighborhood
of intersects . Sometimes the notation is used.
If it is not clear, which topological space is used, one writes . Note that if is a subspace of , then may not be the same as . For example, if , and , then while .