Define an inner product.
For , the inner product is a function (or if is a real vector space) with the properties:
Main Page : Linear Algebra : Inner Products