tags:theorem |topology |set

Set Closure

Context

Statements

Theorem. Let $(X,d)$ be a metric space and $S\subseteq X$. If $\mathrm{cl}(S)$ is the metric set closure, then it also is the topological set closure.

Proof. Follows from the topological space induced by the metric space.