# Analytic Basis is Analytic Sub-Basis

## 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$.