A generalization of an Euclidean space for infinite dimensions. It is a vector space with an inner product.