Definition, synonyms and related words
A vector space which is additionally equipped with an inner product.