Si "H" y "H" tienen bases ortonormales {φ} y {ψ}, respectivamente, entonces {φ⊗ψ} son una base ortonormal para "H"⊗"H".