El isomorfismo manda "f"("x") ⊗ψ ∈ L²("X")⊗ "H" a "f"("x")ψ ∈ L²("X"; "H").