Denseness Preserved in Coarser Topology

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

Let $T' = \struct {S, \tau'}$ be another topological space on $S$ such that $\tau'$ is coarser than $\tau$.

Let $H \subseteq S$ be everywhere dense in $T$.

Then $H$ is also everywhere dense in $T'$.

Proof
Let $H \subseteq S$ be everywhere dense in $T$.

As $\tau'$ is coarser than $\tau$, by definition $\tau' \subseteq \tau$.

Let $x \in S$.

As $H \subseteq S$ is everywhere dense in $T$, either $x \in H$ or $x$ is a limit point of $H$ in $T$.

Suppose $x \notin H$.

Then $x$ is a limit point of $H$ in $T$.

Then by definition of limit point of $H$:
 * $\forall U \in \tau, x \in U: \exists y \in H: y \in U, y \ne x$

As $\tau' \subseteq \tau$ we have that $U \in \tau' \implies U \in \tau$.

So:
 * $\forall U \in \tau', x \in U: \exists y \in H: y \in U, y \ne x$

That is, $x$ is a limit point of $H$ in $T\ '$.

As $x$ is arbitrary, this follows for all $x \in S, x \notin H$.

So, for all $x \in S$, either $x \in H$ or $x$ is a limit point of $H$ in $T'$.

Thus, by definition, $H \subseteq S$ is everywhere dense in $T'$.