Definition:Closure (Topology)

Definition
Let $$X$$ be a topological space, and let $$A \subseteq X$$.

Then the closure of $$A$$ is defined as:
 * $$\overline{A} \ \stackrel {\mathbf {def}} {=\!=} \ \bigcap_{A \subseteq B \subseteq X, B \text{ closed}} B$$.

The closure of $$A$$ is variously denoted:
 * $$\operatorname{cl} \left({A}\right)$$;
 * $$\operatorname{Cl} \left({A}\right)$$;
 * $$\overline{A}$$.

Equivalent Definitions
The following definitions for closure are equivalent to the above:
 * $$\overline{A}$$ is the smallest closed set that contains $$A$$;
 * $$\overline{A}$$ is the union of $$A$$ and its boundary;
 * $$\overline{A}$$ is the union of $$A$$ and its limit points;
 * $$\overline{A}$$ is the union of all isolated points of $$A$$ and all limit points of $$A$$.

This fact is demonstrated in Equivalent Definitions for Topological Closure.