平成27年度 春期 ITパスポート試験 公開問題 問62 解説 集合の包含関係
二つの集合AとBについて,常に成立する関係を記述したものはどれか。ここで, (A∩B)は,XとYの両方に属する部分(積集合),(A∪B)は,X又はYの少なくとも一方に属する部分(和集合)を表す。
- ア (A∪B)は,(A∩B)でない集合の部分集合である。
- イ (A∪B)は,Aの部分集合である。
- ウ (A∩B)は,(A∪B)の部分集合である。 ✓ 正答
- エ (A∩B)は,Aでない集合の部分集合である。
解説
この問題は、ベン図をイメージすることで直感的に正解を導くことができます。積集合(A∩B)は共通部分、和集合(A∪B)はAとBを合わせた全体を指します。「共通部分は、必ず全体の中に含まれる」という包含関係を理解しているかが鍵です。
ベン図で考える集合の包含関係
集合の概念は、図で考えると非常に明確になります。
AとBという二つの円を描いたとき、重なっている中心部分が積集合(A∩B)です。一方で、二つの円を合わせた全体(片方だけの部分、両方の部分、もう片方だけの部分すべて)が和集合(A∪B)となります。
物理的な広さを比較すると、積集合は和集合の一部に過ぎません。したがって、積集合のすべての要素は和集合の要素として必ず存在するため、積集合は和集合の部分集合であるという関係が常に成立します。
集合の知識はデータベースで活きる
この問題で問われている集合の考え方は、ITパスポートの試験範囲の中でもデータベース分野、特にSQLにおけるデータ抽出処理において非常に重要です。
たとえば、データベースで検索を行う際、複数の条件を組み合わせる場面があります。
- 積集合:AND条件(AかつBの両方を満たすデータ)
- 和集合:OR条件(AまたはBの少なくとも一方を満たすデータ)
「ANDで絞り込んだ結果」は「ORで広げた結果」の一部に必ず含まれます。プログラムやデータベースの設計を行う際、この包含関係を理解していないと、意図しないデータ抽出を行ったり、処理効率を落としたりする原因になります。集合論は、コンピュータで大量のデータを論理的に扱うための基礎体力と言えるでしょう。
なぜ他の選択肢は誤りなのか
アとエは、AとBの要素の分布によって成立したりしなかったりするため、常に成立するとは言えません。例えばAとBが全く同じ集合の場合、アやエの関係は成立しなくなります。
イについては、和集合はAよりも範囲が広くなる可能性があるため(Bにしか属さない要素がある場合)、Aの部分集合とは限りません。
このように、集合の包含関係を整理することは、論理的なミスを防ぐための第一歩となります。この基礎を定着させることで、データベースのクエリや条件分岐の論理構築がスムーズになります。