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$.
Proof
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
When this page/section has been completed, {{ProofWanted}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
