冪集合
power set
$ 2^X
冪集合 - Wikipedia
$ \{X\to 2\}
とも見做せる
$ 2:=\{\{\},\{\{\}\}\}
としてもよいし、
$ 2:=\{0,1\}
としてもよいし、
$ 2:=\{\top,\bot\}
としてもよい。
$ 2
は
部分對象分類子
である
冪集合公理
冪對象