A generalization of an Euclidean Space for infinite dimensions. It is a Vector Space with an Inner Product.