联立一个方程和一个含未知数的不等式叫什么?