部分集合
集合A が集合B の部分集合（ぶぶんしゅうごう、subset; 下位集合）であるとは、A が B の一部（あるいは全部）の要素だけからなることである。A が B の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。
定義
集合 A の要素はすべて集合 B の要素でもあるとき、すなわち、
が成り立つとき、A は B の部分集合であるといい、
で表す。A が B の部分集合であることを、「A は B に（部分集合として）含まれる（contained; 包含される）」、「A は B に包まれる（included; 包摂あるいは内包される）」などということもある。またこのとき、B は A の上位集合（じょういしゅうごう、superset; スーパーセット）であるということもある。A が集合 B の要素であることである。B 以外の集合で B の部分集合であるようなものは、B の真部分集合（しんぶぶんしゅうごう、proper subset）あるいは狭義（strict; 強い意味で）の部分集合と呼ばれる。すなわち、集合 A が集合 B の真部分集合であるとは、A ⊆ B かつ A ≠ B が成り立つことである。A が B の真部分集合であることを
で表す。
記法に関する注意
| 部分集合 | 真部分集合 |
|---|---|
| A ⊆ B | A ⊂ B |
| A ⊊ B | |
| 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 かつ 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 は同値である。
