幂集（Powerset）浅析

        集合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，所有含有两个元素的类型。