幂集公理 对于集合 A, 存在一个集合 P, 以 A 的一切子集为元素, 即: ∀A,∃P,∀X(X∈P⇔X⊆A) 定义 对于集合 A, 记 P(A)={ X∣X⊆A} 并称之为 A 的幂集。 性质 ∀A,P(A) 是唯一的。 A⊆B⇔P