Inner product space