冪集合
power set
集合$ Aの冪集合を$ \mathscr{P}(A)と表記する
集合$ Aの全ての部分集合からなる集合
$ |A|=nのとき、$ 2^n個の元がある
故に「部分集合系」は「冪集合の部分集合」とも言える
集合$ Aから2点集合$ 2への関数全体が集合$ 2^Aが、冪集合になる
これを書いてるときは理解しているが、たぶんあとでわからなくなるので、そのときはベシ圏.icon p.82を読もう
/zatsuben/部分集合系とは#5de64e92385a9200000e8f89
/miyamonz/冪集合
/zatsuben/位相空間がわからない#5de6285b1982700000e1739c