Un espacio de Hilbert es separable si y solamente si admite una base ortonormal numerable.