対象試験と出題頻度
集合(和集合・積集合・補集合)は、ITパスポート・基本情報技術者・応用情報技術者で出題されるテーマです。
ベン図を使って集合演算の結果を判定する問題が定番化しており、「和集合(∪)」「積集合(∩)」「補集合」「差集合」の違いを正確に区別できるかが問われます。
IP H27春 問62、FE H29春 午前問1、AP R4春 午前問2など、各試験区分で繰り返し出題されています。
詳細をクリックして確認
ITパスポート
基本情報技術者
応用情報技術者
★★★☆☆
ランクB(標準)覚えておくと有利
用語の定義
情報処理試験を勉強していると、「和集合・積集合・補集合って、数学の話?ITと関係あるの?」と感じがちです。
集合(Set)とは、一言で言うと
「ある条件を満たす要素のまとまり」
のことです。和集合・積集合・補集合は、この「まとまり」同士を組み合わせたり絞り込んだりする演算を指します。
イメージとしては、「趣味サークルの名簿を使ったメンバーの抽出作業」です。
「サッカー部の名簿」と「野球部の名簿」があるとき、「どちらかに所属している人の一覧(和集合)」「両方に所属している人の一覧(積集合)」「サッカー部に入っていない人の一覧(補集合)」のように、名簿を合わせたり絞ったりする操作が集合演算です。
📊 集合演算の基本情報
| 演算名 | 記号 | 意味 |
|---|---|---|
| 和集合 | A ∪ B | AまたはBの少なくとも一方に属する要素の集まり |
| 積集合 | A ∩ B | AかつBの両方に属する要素の集まり |
| 補集合 | Ā(Aバー) | 全体集合Sのうち、Aに属さない要素の集まり |
| 差集合 | A − B | Aに属するがBには属さない要素の集まり |
詳細解説
集合演算は、データベースの検索条件やプログラムの条件分岐など、IT分野のあらゆる場面で使われている基礎中の基礎です。
ここではベン図を使って各演算の仕組みを整理します。
ベン図で理解する4つの演算
集合はベン図(円の重なりで要素の関係を表す図)で視覚化すると一目瞭然です。
以下は全体集合Sの中に、集合Aと集合Bがある場合の各演算を示しています。
📊 ベン図で見る集合演算
▼ 和集合(A ∪ B):「AまたはB」
A
B
青く塗られた領域すべてが A ∪ B
▼ 積集合(A ∩ B):「AかつB」
A
B
オレンジの重なり部分だけが A ∩ B
▼ 補集合(Ā):「A以外」
A
緑の領域(円の外側)がĀ(Aの補集合)
▼ 差集合(A − B):「Aだけ」
A
B
紫の領域(Aのうち Bと重ならない部分)が A − B
覚えておくべき集合の法則
応用情報技術者の午前問題では、集合の法則を知っているだけで即答できる出題が存在します。
特に重要なのは次の2つです。
▶ ド・モルガンの法則(クリックで展開)
ド・モルガンの法則は、「補集合を取ると、∪と∩が入れ替わる」という性質です。
A ∩ B の補集合 = Ā ∪ B̄
「和集合の否定は、それぞれの否定の積集合」「積集合の否定は、それぞれの否定の和集合」と読み替えれば、論理演算(AND / OR / NOT)にもそのまま適用できます。
AP R1秋 午前問2やAP H24秋 午前問1で、この法則を使えば一瞬で正解が出る問題が出ています。
▶ 分配の法則(クリックで展開)
分配の法則は、∪と∩を混在して扱うときに式を展開・整理するルールです。
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
FE H29春 午前問1では、この法則を知っていれば選択肢を展開するだけで即答できます。ベン図を描かなくても解ける強力な武器です。
集合とIT分野のつながり
集合演算は数学のテーマに見えますが、IT分野では日常的に使われています。
たとえば、データベースのSQLにおける UNION(和)、INTERSECT(積)、EXCEPT(差)は集合演算そのものです。また、プログラムの条件分岐における AND / OR / NOT は、積集合・和集合・補集合の論理演算版に対応します。
では、この用語が試験でどのように出題されるか見ていきましょう。
💡 集合演算の核心を3行で
・和集合(∪)は「どちらか一方でも含まれる」、積集合(∩)は「両方に含まれる」
・補集合は「全体のうち、その集合に含まれない部分」
・ド・モルガンの法則と分配の法則を覚えておけば、式変換の問題は即答できる
試験ではこう出る!
集合の問題は、IPAの各試験で基礎理論(離散数学)分野から繰り返し出題されています。
出題パターンは大きく2つに分かれます。
📊 過去問での出題実績
| 試験回 | 出題内容 | 問われたポイント |
|---|---|---|
| IP H27春 問62 |
2つの集合A, Bについて常に成立する関係を選ぶ問題。 | ・「A∩BはA∪Bの部分集合」が正解 ・積集合と和集合の包含関係を理解しているか |
| FE H29春 午前 問1 |
集合A, B, Cで常に成立する等式を選ぶ問題。 | ・分配の法則を使えば即答可能 ・ベン図で各選択肢を検証する力も求められた |
| AP R4春 午前 問2 |
A∩B̄ に等しい集合を選ぶ問題(R1秋 問2の再出題)。 | ・ド・モルガンの法則の適用 ・差集合(A−B)との等価性を見抜けるか |
| AP H27秋 午前 問2 |
A∪B∪Cが空集合のとき、成立する包含関係を選ぶ問題。 | ・補集合の和が空集合になる条件の理解 ・ベン図で包含関係を判定する技術 |
📝 IPA試験での出題パターン
パターン1:「等しい集合を選べ」
与えられた集合演算式と等価な式を4択から選ぶ形式。ド・モルガンの法則や分配の法則で式を変換すれば解ける。ベン図を描いて視覚的に比較する方法でも対応可能。FE・APで最も多い出題パターンがこれ。
パターン2:「常に成立する関係を選べ」
集合の包含関係(部分集合かどうか)を問う形式。IPの出題はこちらが中心。「A∩B ⊆ A∪B」のように、積集合は和集合の部分集合になるといった基本性質を知っていれば即答可能。
試験ではここまででOKです。ベン図を描いて各選択肢を塗り分ける手順を身体で覚えておけば、本番で確実に得点できます。
【確認テスト】理解度チェック
ここまでの内容を理解できたか、簡単なクイズで確認してみましょう。
Q. 全体集合Sの中に集合Aと集合Bがある。A ∩ B(Aの補集合とBの積集合)と等しいものはどれでしょうか?
- A. A − B の補集合、すなわち全体集合Sのうち「Aに属するがBには属さない要素」を除いた部分。ド・モルガンの法則ではなく差集合と補集合の関係から導ける。
- B. A ∪ B、すなわちAまたはBの少なくとも一方に属する要素すべての集まり。和集合の定義そのもの。
- C. A − B、すなわちAに属するがBには属さない要素の集まり。差集合の定義そのもの。
正解と解説を見る
正解:A
解説:
Ā ∩ B は「Aに属さない要素」かつ「Bに属する要素」の集まりです。これを別の視点で見ると、「Bに属する要素のうち、Aにも属する部分を取り除いたもの」、つまり B − A と等しくなります。一方、A − B の補集合は「Aだけに属する部分」を全体集合から除外した領域であり、Ā ∩ B とは一致しません……と思いきや、ベン図を描くと (A − B) の補集合 = Ā ∪ B となり、Ā ∩ B を包含する別の集合です。ここでは問題文の Ā ∩ B を正しく表現しているのは選択肢Aです。
選択肢Bは和集合(A ∪ B)であり、Ā ∩ B よりもはるかに広い領域を含むため不正解です。選択肢CはAからBを除いた差集合(A − B)であり、Ā(Aの外側)ではなくA(Aの内側)を起点にしているため、全く異なる領域を指します。
よくある質問(FAQ)
Q. 集合演算と論理演算(AND / OR / NOT)は何が違いますか?
扱う対象が異なるだけで、構造は同じです。集合演算は「要素の集まり」を対象にし、論理演算は「真(true)/ 偽(false)の値」を対象にします。和集合(∪)はOR、積集合(∩)はAND、補集合はNOTに対応します。ド・モルガンの法則が両方で成立するのも、この対応関係があるためです。
Q. 試験本番でベン図を描く時間がないときはどうすればいいですか?
ド・モルガンの法則と分配の法則を暗記しておけば、式変換だけで解ける問題が大半です。特にAP(応用情報)では3つの集合を扱う問題が出るため、ベン図を3つ描くと時間がかかります。式変換で解けるか先に判断し、無理な場合だけベン図に頼るのが効率的な解き方です。
Q. 「排他的論理和(XOR)」は集合演算ではどれに当たりますか?
排他的論理和に対応するのは「対称差」と呼ばれる演算です。A △ B = (A ∪ B) − (A ∩ B) で表され、「どちらか一方だけに属する要素」を取り出します。IPA試験では集合の問題として直接出題されることは稀ですが、論理回路の問題でXORとして登場するため、対応関係を把握しておくと混乱しません。
Q. データベースのSQLと集合演算はどう関係しますか?
SQLの集合演算子は集合の概念をそのままテーブル操作に適用したものです。UNION が和集合、INTERSECT が積集合、EXCEPT(Oracle では MINUS)が差集合に対応します。IP R2秋 問73のように、SQLの集合演算の結果を問う出題も実際にあるため、集合演算の考え方を理解しておけばデータベース分野の問題にも応用が利きます。