Definition of inner product space, arbitrary setting

math.la.d.vsp.innerproduct.arb