- A generalization of an [[euclidean-space|Euclidean Space]] for infinite dimensions. - It is a [[vector-space|Vector Space]] with an [[inner-product|Inner Product]].