Inner product space/Definition

A vector space that is endowed with an inner product and the corresponding norm.