Analytic Basis is Analytic Sub-Basis

Jump to: navigation, search

Theorem

Let $\left({X, \tau}\right)$ be a topological space.

Let $\mathcal B \subseteq \tau$ be an analytic basis for $\tau$.

Then $\mathcal B$ is an analytic sub-basis for $\tau$.