Continuity Test using Sub-Basis/Proof 1

Proof
Define:
 * $\displaystyle \mathcal B = \left\{{\bigcap \mathcal A: \mathcal A \subseteq \mathcal S, \, \mathcal A \text{ is finite}}\right\} \subseteq \mathcal P \left({X_2}\right)$

Let $B \in \mathcal B$.

Then there exists a finite subset $\mathcal A \subseteq \mathcal S$ such that:
 * $\displaystyle B = \bigcap \mathcal A$

Hence:

Define:
 * $\displaystyle \tau = \left\{{\bigcup \mathcal A: \mathcal A \subseteq \mathcal B}\right\} \subseteq \mathcal P \left({X_2}\right)$

By the definition of an analytic sub-basis, we have $\tau_2 \subseteq \tau$.

Let $U \in \tau_2$.

Then $U \in \tau$; therefore:
 * $\displaystyle \exists \mathcal A \subseteq \mathcal B: U = \bigcup \mathcal A$

Hence:

That is, $f$ is continuous.