Now you are in the subtree of Container for Linear Algebra project. 

A vector is in the orthogonal complement of a subspace if and only if it is orthogonal to every vector in a basis of the subspace.

Put content here.