Euclidean vector
An isometry of Euclidean vector spaces is a linear isomorphism.