Hilbert space/Definition

A complete inner product space.