a_2在formula_28中的相对补集，国际上通常写作 formula_151，中文教材中有时也会写作formula_152。表示属于formula_28的、但不属于formula_2的所有元素组成的集合。在特定情况下，所讨论的所有集合是一个给定的全集formula_155的子集。这样， formula_156称作formula_2的绝对补集，或简称补集（余集），写作formula_158或formula_159。补集可以看作两个集合相减，有时也称作差集。
定义.给定集合