Video defining an orthonormal set as a set of vectors that all have the length of 1 and are orthogonal to each other. Using proof by contradiction, the set is proven to be linearly independent and can be considered an orthonormal basis. Two specific vectors are given and are shown to fulfill the requirements of an orthonormal basis. [11:16]