这两个运算跟幂集（透过证明分配律）一起构成一个交换环。
2的记法.在集合论中，formula_36是由所有从formula_37到formula_38的函数构成的集合。因为formula_39可以定义为formula_40（见自然数），formula_3这集合包含了所有从formula_1到formula_40的函数。把formula_3内的函数对应于由这函数给出的formula_45的原像，可看出在formula_3和formula_2之间存在双射，其中每个函数是formula_