補集合とは？記号の意味からド・モルガンの法則まで徹底図解【2026】

補集合とは？記号の意味からド・モルガンの法則まで徹底図解【2026】についての真相を徹底解説します。

数学や論理学の世界において、補集合（ほしゅうごう、英語：complementary set）とは「考察の対象としている全体の中で、特定の集合に属していない要素をすべて集めた集合」を意味します。数学情報サイト『高校数学の美しい物語』や専門解説サイト『Wiis』の定義でも示されている通り、集合 $A$ の補集合とは、「全体」の中で $A$ に含まれない要素の集合であり、命題 $P(x)$ が偽になるような要素の集まりとして厳密に定式化されます。

初学者が最も疑問を抱くのが補集合の記号と読み方です。集合 $A$ の補集合を表す際、文字の上に横棒（バー）を乗せて「$\bar{A}$」と書き、一般に「Aバー（またはAの補集合）」と読みます。海外の文献や大学以降の高度な数学、一部の情報科学の専門書では、右肩に小さく「c」を付与して「$A^c$」（complementの頭文字）や「$A'$」と表記されるケースもありますが、日本の高校教育課程（数学I・数学A）では「$\bar{A}$」が標準表記として定着しています。

ここで極めて重要になるのが、全体集合と補集合の違い、そして部分集合と全体集合の構造的な関係性です。教育系ウェブメディア『すうがくのいえ』が解説するように、集合は「全体集合」とその中に含まれる「部分集合」という階層関係で整理されます。補集合を考える際には、必ず議論の土台となる「全体集合 $U$（Universal set）」が設定されていなければなりません。

たとえば、「偶数」という集合を考えたとき、全体集合が「1から10までの自然数」であれば、偶数の補集合は「1, 3, 5, 7, 9（奇数）」となります。しかし、もし全体集合が「すべての実数」に拡張された場合、偶数の補集合には奇数だけでなく「0.5」や「$\sqrt{2}$」といった小数や無理数まで際限なく含まれることになります。つまり、補集合とは単体で独立して存在するのではなく、「前提となる全体集合という枠組みから、特定の集合を取り除いた残りの領域」を指す相対的な概念なのです。