補集合
集合 
は全体集合 
の部分集合であるとします。集合 に属さない元すべての集合を考えることができます。
これを の補集合と言い、
と表します。
※上付き文字の 
は英語のcomplementの略です。また、高校では補集合はよく 
で表したかと思いますが、大学では一般にこの記号は閉包という違う概念を表すのに用いられます。
注意：集合 は全体集合 の部分集合であるという仮定は本質的に重要です。補集合を考えるときには、何らかのより大きな集合（全体集合）がなければ定義することができないからです。より大きな集合が異なれば、当然ですが補集合も異なります。すぐ後に例で示します。
を集合の記法で書くと、
とするとき、
となります。
とします。
を全体集合として、 の補集合を考えると、
です。
一方で、
を全体集合として、 の補集合を考えると、
となります。
差集合
を集合とします。 の元であって 
の元でない元の集合を と の差集合といい、
と表します。集合の記法で書くと、
となります。
Rem.1. を 
と書く流儀もありますが、 は
と紛らわしいので、ここでは としておきます。
Rem.2. 補集合の場合と違って、 は の部分集合である必要はありません。
とすると、
となります。
この記事へのコメントはありません。