Semejantemente, podemos demostrar que L²("X"; "H"), denotando el espacio de las funciones cuadrado-integrables de "X" → "H", es isomorfo al L²("X") ⊗ "H" si este espacio es separable.