（即空集）也成立。
在一般数学中.然而，当考虑过给定集合formula_18的子集（在康托尔的例子中，formula_19），可能就会进一步关心"formula_18"的子集组成的集合。（例如："formula_18"上的一个拓扑就是一个"formula_18"的子集组成的集合。）这些不同的"formula_18"的子集组成的集合本身，一般而言并不是"formula_18"的子集，却是"formula_18"的幂集formula_26的子集。当然，这还没有完；可以进一步考虑"f