[x0] 前面不等式组解集x