With a distance function defined in this way, any inner product space is a metric space, and sometimes is known as a Hausdorff pre-Hilbert space.[5] Any pre-Hilbert space that is additionally also a complete space is a Hilbert space.