若不等式（组）①的解集中的任意解都满足不等式（组）②，则称不等式（组）①被不等式（组）②覆盖．特别地，若一个不等式（组）无解，则它被其他任意不等式（组）覆盖．

例如：不等式x＞1被不等式x＞0覆盖；不等式组无解，被其他任意不等式（组）覆盖．