Definition:Orthogonal Complement (Bilinear Form)