若不等式（组）①的解集中的任意解都满足不等式（组）②，则称不等式（组）①被不等式（组）②“包含”，其中不等式（组）①与不等式（组）②均有解．

例如：不等式被不等式“包含”．