# Definition An inner product space is a [[vector space]] equipped with an [[inner product]].