幂集

幂集把“从 $A$ 中选哪些元素”本身变成一个对象。$A$ 的普通元素位于第一层，子集位于第二层，而 $\mathcal{P}(A)$ 把第二层全部收集起来。于是 $a\in A$ 与 $\{a\}\in \mathcal{P}(A)$ 相关，却不是同一条陈述；$a$ 只有在自身碰巧也是 $A$ 的子集时，才会成为 $\mathcal{P}(A)$ 的元素。

若 $A$ 有限，每个元素各有“选入”或“不选入”两种状态，所有状态组合恰好对应 $\mathcal{P}(A)$。这解释了 $|\mathcal{P}(A)|=2^{|A|}$。无限情形仍保留“二值选择”的图像，但右边成为基数幂，不能理解成做有限次乘法。

设一套服务能力为

一个权限配置可用 $F$ 的子集表示，所以全部配置组成 $\mathcal{P}(F)$，共有 $2^3=8$ 种。空集表示不开放任何能力，$F$ 表示全部开放；幂集只列出类型正确的配置，不会判断某个配置是否符合组织策略。

嵌套集合展示了类型边界。令 $A=\{\varnothing ,\{\varnothing \}\}$，则

这里 $\varnothing \in A$ 与 $\varnothing \subseteq A$ 都成立，但前者查看 $A$ 的成员表，后者是空真命题。$\{\varnothing \}\in A$ 也成立，而 $\{\varnothing \}\subseteq A$ 成立的理由是 $\varnothing \in A$。相同符号在不同括号层级扮演不同角色，不能凭外形省略检查。

另一个边界来自 Cantor 定理：$A$ 可以单射到 $\mathcal{P}(A)$，例如 $a\mapsto \{a\}$，却不存在满射 $A\to \mathcal{P}(A)$。所以即使 $A$ 无限，也绝不会与自己的幂集等势。

每个 $B\subseteq A$ 都由特征函数

唯一编码。因此 $\mathcal{P}(A)$ 与函数集 $\{0,1{\}}^A$ 等势，$2^{|A|}$ 同时表示子集数和二值函数数。

Cantor 对角论证公理库康托对角线论证Cantor diagonal argument通过在第 n 位偏离第 n 个候选对象构造未被枚举对象的方法。给出严格增长的证明骨架。假设 $f:A\to \mathcal{P}(A)$ 是满射，构造

若 $D=f(d)$，便有 $d\in D⟺d\notin D$，矛盾。因此 $D$ 不在 $f$ 的像中，结合单射 $a\mapsto \{a\}$ 可得 $|A|<|\mathcal{P}(A)|$。反复取幂集便产生没有最大值的基数公理库基数Cardinality · Size of a set忽略元素性质与排列，只用双射和单射刻画集合的大小及其比较。层级。

二元关系是 $\mathcal{P}(A\times B)$ 的元素；拓扑、$\sigma$-代数和事件族则是 $\mathcal{P}(A)$ 中满足不同闭包条件的子族。幂集提供候选全集，后续公理负责筛选结构。