Inner product space.