二元一次不等式无解的定义是什么