是相对有补格。相反，"formula_4"的幂集，即"formula_4"的所有子集组成的集合，是一个布尔格。上述的绝对补集是布尔格中的补运算；而空交集"formula_4"则作为布尔格中的最大元（或空交）。这里，适用于补运算、交运算和并运算（集合论中的并集）的德·摩根律成立，而且对空交和空并（即空集）也成立。
在一般数学中.然而，当考虑过给定集合formula_18的子集（在康托尔的例子中，formula_19），可能就会进一步关心"formula_18"的子集组成的集合。（例