Euclidean projection on a set
An Euclidean projection of a point on a set
is a point that achieves the smallest Euclidean distance from
to the set. That is, it is any solution to the optimization problem

When the set is convex, there is a unique solution to the above problem. In particular, the projection on an affine subspace is unique.