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 .