F :n vektorijoukot {x ,x ,...,x } ja {y ,y ,...,y } ovat bi-ortonormaalit, jos