ぶぶんしゅうごう
部分集合
ある集合のすべての要素が、別の集合にも含まれている状態を指します。記号はA⊂Bなどで表し、空集合はすべての集合の部分集合であるという定義が試験でよく問われます。
詳しい説明
部分集合とは、ある集合Aのすべての要素が、別の集合Bの要素としても含まれている状態のことです。このとき「AはBの部分集合である」といい、記号では「A⊂B」または「A⊆B」で表します。
仕組みは、包含関係の表現です。集合の大小関係や分類を示すのに適しており、たとえば「人間は哺乳類の部分集合である」といった表現が可能です。どんな集合であっても、空集合はすべての集合の部分集合とみなされるという定義は、試験でよく問われるひっかけです。
試験では、ベン図を用いた推論問題で頻出します。AがBの部分集合であり、かつBがCの部分集合であれば、AはCの部分集合であるという三段論法的な考え方を問う問題が一般的です。真部分集合（自分自身を含まない部分集合）との違いについても、定義を正しく押さえる必要があります。
試験で問われること
ITパスポート試験
- ベン図で大きな集合の中に小さな集合が含まれる包含関係を理解する。
- 部分集合の定義（すべて含まれる）が問われる。
- 空集合がすべての集合の部分集合であるという知識が引っかけとして使われる。
基本情報技術者試験
- 真部分集合（自分自身を含まない）との定義の厳密な違いが問われる。
- 包含関係の推論問題において、ベン図を活用して正誤を判定する能力が問われる。
- 集合演算の前提として、包含関係を正しく認識できるかが試される。