Orthogonal Projection

If is a subspace of and if , the orthogonal projection of onto is the unique vector such that . The orthogonal projection of onto is denoted .