Let $(X,\tau)$ be a [topological space](/page/Topological%20Space), and let $A \subset X$. Then the closure $\overline{A}$ is closed in $(X,\tau)$, satisfies $A \subset \overline{A}$, and has the following minimality property: for every subset $F \subset X$, if $F$ is closed in $(X,\tau)$ and $A \subset F$, then $\overline{A} \subset F$.