A set of non-zero vectors are an orthogonal set if for .
If is an orthogonal set, then are Linearly Independent.