a_6"对"formula_4"的"相对补集'"formula_10；但在"formula_4"是全集的场合下，这可以被当成是"formula_6"的"绝对补集'"formula_13。同样的，有一个称为空交集的概念，即零个集合的交集（指没有集合，而不是空集）。要是没有全集，空交集就会是所有东西组成的集合，这一般被认为是不可能的；但有了全集，空交集可以被当成是有条件（即"formula_4"）下的所有东西组成的集合。在基于布尔格的代数方法研究基础集合理论时，这种惯例非常有用。但对公理化集合论的一些非标准