Euclidean vector
Motivating example: Euclidean vector space.