2点集合
元が2つの
集合
$ \{\mathrm{true},\mathrm{false}\}
とか
$ 2
と表記
集合
$ A
の
部分集合
は
$ f: A\rightarrow 2
に1対1対応する
射を要素として見る視点
をする
$ S\subset A
に対して、
$ S
の元ならtrue、そうじゃないならfalseに行くと考えればそう。
https://gyazo.com/2071fe37c2b7e7c1e13157b5360391b0
こんないめーじ