# Closure of Subset of Closed Set of Metric Space is Subset/Proof 2

## Theorem

Let $M = \left({A, d}\right)$ be a metric space.

Let $F$ be a closed set of $M$.

Let $H \subseteq F$ be a subset of $F$.

Let $H^-$ denote the closure of $H$.

Then $H^- \subseteq F$.

## Proof

Let $x \in H^-$.

there exists a sequence $\sequence {a_n}$ of points of $H$ which converges to the limit $x$.

By assumption:

$\sequence {a_n}$ is also a sequence of points of $F$
$x \in F$

Thus it has been shown:

$H^- \subseteq F$

$\blacksquare$