元が2つの集合

\{\mathrm{true},\mathrm{false}\}とか

2と表記

集合Aの部分集合はf: A\rightarrow 2に1対1対応する

射を要素として見る視点をする

S\subset Aに対して、Sの元ならtrue、そうじゃないならfalseに行くと考えればそう。

こんないめーじ