Closed Set in Coarser Topology is Closed in Finer Topology

Theorem
Let $X$ be a set.

Let $\tau_1$ and $\tau_2$ be topologies on $X$ such that $\tau_1 \subseteq \tau_2$.

That is, $\tau_1$ is coarser than $\tau_2$.

Let $C$ be a closed set in $\struct {X, \tau_1}$.

Then $C$ is closed in $\struct {X, \tau_2}$.

Proof
Let $C$ be a closed set in $\struct {X, \tau_1}$.

Then $X \setminus C$ is open in $\struct {X, \tau_1}$.

So $X \setminus C$ is open in $\struct {X, \tau_2}$.

So $C$ is closed in $\struct {X, \tau_2}$.