Inner-product space