Closure of Subset in Subspace/Corollary 1

Theorem
Let $T = \struct {S, \tau}$ be a topological space.

Let $T_H = \struct {H, \tau_H}$, where $\O \subset H \subseteq S$, be a subspace of $T$.

Let $W \subseteq S$ and let $\map {\cl_T} W$ denote the closure of $W$ in $T$.

Let $\map {\cl_H} {W \cap H}$ denote the closure of $W \cap H$ in $T_H$.

Then:
 * $\map {\cl_H} {W \cap H} \subseteq \map {\cl_T} W \cap H$