幂集布尔代数的子代数。集合formula_1 的幂集与对称差运算构成一个阿贝尔群（其中空集为幺元，每个集合的逆元为其本身），与交运算一起则构成交换半群。因此这两个运算跟幂集（透过证明分配律）一起构成一个交换环。
2的记法.在集合论中，formula_36是由所有从formula_37到formula_38的函数构成的集合。因为formula_39可以定义为formula_40（见自然数），formula_3这集合包含了所有从formula_1到formula_40的函数。把for