Identity Mapping to Expansion is Closed

Theorem
Let $X$ be a set on which $\tau_1$ and $\tau_2$ are topologies such that:
 * $\tau_1 \subseteq \tau_2$

that is, such that $\tau_2$ is an expansion of $\tau_1$.

Let $I_X: \left({X, \tau_1}\right) \to \left({X, \tau_2}\right)$ be the identity mapping from $\left({X, \tau_1}\right)$ to $\left({X, \tau_2}\right)$.

Then $I_X$ is closed.

Proof
$\tau_1 \subseteq \tau_2$ means that every open set of $\left({X, \tau_1}\right)$ is also an open set of $\left({X, \tau_2}\right)$.

Let $A \subseteq X$ be closed in $\left({X, \tau_1}\right)$

Then by definition $X \setminus A$ is open in $\left({X, \tau_1}\right)$.

Then $I_X \left({X \setminus A}\right) = X \setminus A$ is open in $\left({X, \tau_2}\right)$.

So, by definition, $I_X \left({A}\right) = A$ is closed in $\left({X, \tau_2}\right)$.

So for all $A \subseteq X$ closed in $\left({X, \tau_1}\right)$, it holds that $I_X \left({A}\right)$ is closed in $\left({X, \tau_2}\right)$.

So by definition of closed mapping, the result follows.