Definition. A nonempty subset of nonzero vectors in Rn is called an orthogonal set if every pair of distinct vectors in the set is orthogonal. Orthogonal sets are automatically linearly independent. Theorem Any orthogonal set of vectors is linearly independent.