Analytic Basis is Analytic Sub-Basis

From ProofWiki
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$.


Proof