夜ではない。

「部分集合」の概念が少し難しい。

∅⊂{…}

「空集合は全ての集合の部分集合」というのをどう解釈すればよいのか。

例えばこの場合、

￢({1,3}⊂{1,2,4,5})

3∈{1,2,4,5}とはならないので、{1,3}は{1,2,4,5}の部分集合ではない。このように{1,2,4,5}に存在しない{1,3}の要素が存在するなら「部分集合であることを否定できる」らしいのだけれど、

つまり‥

∅⊂{1,2,4,5}

においては∅にはそもそも要素がないから「{1,2,4,5}に存在しない要素があるなら部分集合ではない」けれど、そもそも要素がないので部分集合である。

難しい…

（このテキストを信用してはいけません）