定义为formula_40（见自然数），formula_3这集合包含了所有从formula_1到formula_40的函数。把formula_3内的函数对应于由这函数给出的formula_45的原像，可看出在formula_3和formula_2之间存在双射，其中每个函数是formula_2中这函数所对应的子集的特征函数。所以就集合论来说formula_3和formula_2是相同的。
构造方法.从空集合开始，选择包含某个元素或者不包含，所有每次增加两种可能，每一层可能的元素不断变