En el caso de dimensión infinita, esta distinción cobra importancia: la definición dada requiere solo que el generado de una base ortonormal sea "densa en" el espacio vectorial, y no que iguale al espacio entero.