集合A的幂集 Power(A),就是集合A中元素的所有选择组合,也就是,包含了,所有定义在集合A上的选择函数。
Power(A) ≡ 2 ^ A ≡ A -> 2 ≡ A -> Bool ( ≡ 指定义上相等 definitional equalitly)。
幂集(Powerset)是一个包含给定集合所有的子集(subset)的集合。如给定一个集合A,所有A的子集,组成的集合,就是集合A的幂集(Powerset of A),记为 Power(A)。
一个集合A的子集,记 subset(A),所包含的元素均来自于A。由此,subset(A)可以看作,从集合A中,选着某些元素,来构成。也就是,集合A中的元素选与不选的不同组合(combinations),就形成了不同的subset(A)。因此,集合A的幂集,可以看作为,其元素选择的所有的组合的集合。由此,有
| Power(A) | = 2 ^ | A |
亦有
Power(A) ≡ 2 ^ A
当全不选的时候,为空集;全选的时候,为全集,即集合A自己 (itself)。
根据代数类型,有
2 ^ A ≡ A -> 2
此处的 2 , 指的是,所与的含有两个元素的集合的统称,因此,可以用布尔类型 Bool 来代替,有
Power(A) ≡ 2 ^ A ≡ A -> 2 ≡ A -> Bool
即,把 A -> Bool 看作是集合A中所有元素的选择函数 choose 的类型,
即 choose: A -> Bool,
如果元素 a 被选择了,意味着 choose ( a ) = true,否则 choose (a) = false。
那么,集合A的幂集 Power(A),就是,包含了,所有这些选择函数。因为,每个选择函数 ,choose: A -> Bool,都是集合A中元素的一个选择组合。所有选择函数,就是,所有的选择组合。
同时,把集合看作类型的话,就有了幂类型(Power Type),这是指数类型(Exponential Type)的一个变种(Variant),即其底(base)类型,或叫目标(target)类型,或叫输出(output)类型,恒定为 2 或 Bool,所有含有两个元素的类型。