定义：如果一元一次不等式①的解都是一元一次不等式②的解，那么称一元一次不等式①是一元一次不等式②的蕴含不等式．例如：不等式x＜﹣3的解都是不等式x＜﹣1的解，则x＜﹣3是x＜﹣1的蕴含不等式．