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.