Definition of (orthogonal) projection onto a subspace

math.la.d.projection.subspace