An inner product space is a vector space together with an inner product on it. If the inner product defines a complete metric, then the inner product space is called a Hilbert space.
Historically, inner product spaces are sometimes referred to as pre-Hilbert spaces.
