展开 一元一次方程不等式的定义是什么