Inner product

See inner product space.