Espacio separable

En topología, un espacio topológico es un espacio separable si incluye un subconjunto denso numerable.Un espacio de Hilbert es separable si y solamente si admite una base ortonormal numerable.