集合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} であると考えます。
![空集合の意味[空集合は部分集合に含まれる]](https://cdn-ak-scissors.b.st-hatena.com/image/square/1edf4f9f670cf65ebc9b5f0513fe6b0c4c10c851/height=288;version=1;width=512/https%3A%2F%2Fmanapedia.jp%2Fimages%2Fcommons%2Fmanapedia_ogp.png)