Analytic Basis is Analytic Sub-Basis

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\struct {X, \tau}$ be a topological space.

Let $\BB \subseteq \tau$ be an analytic basis for $\tau$.


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


Proof