部分集合
集合 A が集合 B の部分集合（ぶぶんしゅうごう、subset; 下位集合）であるとは、A が B の一部（あるいは全部）の要素だけからなることである。A が B の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。
定義
集合 A の要素はすべて集合 B の要素でもあるとき、すなわち、
- <math>\forall x (x\in A \rightarrow x\in B)</math>
が成り立つとき、A は B の部分集合であるといい、
- <math>A\sube B</math>
で表す。A が B の部分集合であることを、「A は B に（部分集合として）含まれる（contained; 包含される）」、「A は B に包まれる（included; 包摂あるいは内包される）」などということもある。またこのとき、B は A の上位集合（じょういしゅうごう、superset; スーパーセット）であるということもある。A が集合 B の要素であることも「A が B に含まれる」と表現している文献が存在するため、単に「A が B に含まれる」と言ったときは、A ∈ B と A ⊆ B のどちらの意味で用いられているのかを文脈から判断することが必要である。
定義から任意の集合 B は自分自身の部分集合である。B 以外の集合で B の部分集合であるようなものは、B の真部分集合（しんぶぶんしゅうごう、proper subset）あるいは狭義（strict; 強い意味で）の部分集合と呼ばれる。すなわち、集合 A が集合 B の真部分集合であるとは、A ⊆ B かつ A ≠ B が成り立つことである。A が B の真部分集合であることを
- <math>A\sub B</math>
で表す。
記法に関する注意
| 部分集合 | 真部分集合 |
|---|---|
| A ⊆ B | A ⊂ B |
| A ⊂ B | A ⊊ B |
| A ⊆ B | A ⊆ A かつ A ≠ B |
| A ⊂ B | A ⊂ B かつ A ≠ B |
| A ⊆ B | A ⊊ B |
上の定義においては、A が B の部分集合であることを A ⊆ B で表し、A が B の真部分集合であることを A ⊂ B で表した。実際、包含関係を順序と見なせば、x ≤ y かつ x ≠ y のとき x < y と記す慣例の類似で、A ⊂ B を A ⊆ B かつ A ≠ B であるという意味で用いることは自然である。しかし、これとは異なった記法もいくつか存在し、統一されていない。例えば、A が B の部分集合であることを A ⊂ B で表し、A が B の真部分集合であることを A ⊊ B で表すという流儀もあり、この記法も広く用いられている。この他にも、部分集合には ⊆ を用い、真部分集合には ⊂ かつ ≠ を用いるなど、さまざまなバリエーションがある（右表を参照）。部分集合であることを表すのに ⊆ 、真部分集合であることを表すのに ⊊ を用いると誤解を招く恐れがなくなるため、この記法も好まれる。
基本的な性質
以下、A, B, C を集合とする。
- A = B と A ⊆ B かつ B ⊆ A は同値である（外延性の原理）。
- 空集合 ∅ はすべての集合の部分集合である。
- A ⊆ A 。
- A ⊆ B かつ B ⊆ C ならば A ⊆ C である。
- A ⊆ A ∪ B 。
- A ⊆ B ならば A ∪ C ⊆ B ∪ C 。
- A ⊆ C かつ B ⊆ C ならば A ∪ B ⊆ C 。
- A ∩ B ⊆ A 。
- A ⊆ B ならば A ∩ C ⊆ B ∩ C 。
- A ⊆ B かつ A ⊆ C ならば A ⊆ B ∩ C 。
- A - B ⊆ A 。
- A ⊆ B ならば A - C ⊆ B - C 。
- A ⊆ B かつ A ⊆ C C ならば A ⊆ B - C 。
- 以下は同値である：
- A ⊆ B 。
- A ∩ B = A 。
- A ∪ B = B 。
- A − B = ∅ 。
- A と B がともに U の部分集合のとき、A ⊆ B と U - B ⊆ U - A は同値である。
