Definitions for "abstract Euclidean vector"
an element of an inner product space