Proposizione Siano τ e τ′ due topologie. Siano β,β′ le rispettive basi. Vale la seguente equivalenza: τ⊆τ′, ossia τ′ è più fine di τ; ∀x∈X,∀B∈β∣x∈B si ha che ∃B′∈β′∣x∈β⊆β′
