Soit une famille d'éléments d'un espace de Hilbert . On note l'ensemble des combinaisons linéaires finies d'éléments de , et la fermeture de pour la norme hilbertienne. Remarquons que si est de cardinal fini, alors .