Identification Mapping is Continuous

Theorem
Let $T_1 = \left({S_1, \tau_1}\right)$ be a topological space.

Let $S_2$ be a set.

Let $f: S_1 \to S_2$ be a mapping.

Let $\tau_2$ be the identification topology on $S_2$ with respect to $f$ and $\left({S_1, \tau_1}\right)$.

Then the identification mapping $f$ is continuous.

Proof
By definition of identification topology:
 * $\tau_2 = \left\{{V \in \mathcal P \left({S_2}\right): f^{-1} \left({V}\right) \in \tau_1}\right\}$

That is:
 * $V \in \tau_2 \implies f^{-1} \left({V}\right) \in \tau_1$

This is precisely the definition of a continuous mapping.