>>971
Ah yes, my favorite structure of the map taking two vectors from a normed vector space, the second of which is nonzero, and outputting the unique scalar by which one is to scale the second such that it is closest to the first one. Certainly we should teach examples of this before the notion of a vector space is introduced, giving it a designated name.