Proof that $\overline{A}=A\cup \partial A$ Let $(X,d)$ be a metric space and $A\subset X$. Prove that $\overline{A}=A\cup \partial A$ (that is, the closure of $A$ is the union of $A$ with its boundary).

Let $x\in \overline{A}$, then $x\in A$ or $x\not\in A$. Suppose $x\not\in A$, then $\forall\varepsilon &gt;0, B_\varepsilon(x)\cap X\setminus A\ne \emptyset$. Since $\overline{A}$ is closed, there is a sequence $(x_k)_k\subset A$ converging to $x$. Since $(x_k)_k\subset A$, for every $x_k$ there exists $\varepsilon_{x_k}$ such that $B_{\varepsilon_{x_k}}(x_k)\subset A$. Thus $\forall \varepsilon &gt;0$, $B_\varepsilon(x)\cap A\ne \emptyset$. Hence, $x\in \partial A$. Thus $\overline{A}\subset A\cup \partial A$.

For the other direction, suppose $x\in A\cup \partial A$, then $x\in A$ or $x\in \partial A$. If $x\in A$ then $x\in\overline{A}$. If $x\in \partial A$ then $\forall\varepsilon &gt; 0$, $B_\varepsilon(x)\cap A\ne \emptyset \ne B_\varepsilon(x)\cap X\setminus A$. Since $B_\varepsilon(x)\cap A\ne \emptyset$, there are infinitely many points in $B_\varepsilon(x)$ of some sequence contained in $A$. Let $\varepsilon'&lt;\varepsilon$, then there are infinitely many points in $B_\varepsilon'(x)$ of some sequence contained in $A$. Proceeding by induction and taking $\varepsilon$ smaller and smaller, we see that for every $\varepsilon &gt; 0$ there are infinitely many terms in $B_\varepsilon(x)$ of some sequence contained in $A$. Inductively, this means that there is a sequence contained in $A$ which converges to $x$. Thus, $x\in\overline{A}$.

Please let me know if you find my proof correct. Maybe it's a bit over-complicated, but it would be interesting to know if it's OK.
Note that $\partial A = \overline{A} \setminus A^\circ = \overline{A} \cap (A^\circ)^c$. Then $$A \cup \partial A = A \cup \left(\overline{A} \cap (A^\circ)^c\right) = (A \cup\overline{A}) \cap (A \cup (A^\circ)^c).$$ Since $A \subseteq \overline{A}$, $A \cup \overline{A} = \overline{A}$. Further, $\overline{A} \subseteq A \cup (A^\circ)^c$ so the result follows.
Write A= U {B(x,r(x))| x is in A} . cl A= U{ cl B(x,r)| x is in A} . Any boundary point is arbitrarily close to some x in A so it is within cl B(x,r). Thus every boundary point is in the closure.