正交性质

property of orthogonality