Definition:Semi-Inner Product Space/Real Field

Definition
A real semi-inner product space is a real vector space together with an associated real semi-inner product.

Also see

 * Definition:Inner Product
 * Definition:Inner Product Space