我们定义：如果两个一元一次不等式有公共解，那么称这两个不等式互为“云不等式”．其中一个不等式是另一个不等式的“云不等式”．