EDB — 0MH

[0MH] Prerequisiti:[0KS]↺↻. Se \((X,𝜏)\) soddisfa il secondo assioma di numerabilità, dato \(A⊆ X\) esiste un sottoinsieme numerabile \(B⊆ A\) tale che \(\overline B⊇ A\). In particolare l’intero spazio \(X\) ammette un sottoinsieme numerabile denso: si dice che \(X\) è separabile. Il viceversa vale ad esempio negli spazi metrici, si veda [0Q7]↺↻. Si veda anche [0SQ]↺↻ per un applicazione in \(ℝ^ n\).