定义满足不等式Ix-AI