空集合とは
集合A={1,2,3}
集合B={4,5,6}
2つの集合、AとBについて考えます。"
A∩B"(AかつB)はありえるでしょうか?
集合Aと集合Bの要素には、1つも共通するものがありません。図にすると次のようになります。
集合Aと集合Bの円が交わらないんですね。
このように、1つも共通する要素を持たない集合のことを、"
空集合"(くうしゅううごう)といいます。そして"
φ"(ファイ)という記号を用いて、
"
A∩B=φ"
と表します。
「A∩B(を満たすもの)=φ(ない)」ということですね。
また、
集合Aの空集合は、集合Aの部分集合に含まれます。ここがややこしいのですが、「集合A={1,2,3}」の
部分集合は
φ、1,2,3、{1,2}、{1,3}、{2,3}、{1,2,3}
であると考えます。