部分集合

部分集合（ぶぶんしゅうごう）とは数学における概念の1つ。集合Aが集合Bの部分集合であるとは、AがBの一部の要素だけからなることである。AがBの一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。
定義.
集合 "A" の要素はすべて集合 "B" の要素でもあるとき、すなわち、
が成り立つとき、"A" は "B" の部分集合であるといい、
で表す。"A" が "B" の部分集合であることを、「"A" は "B" に（部分集合として）含まれる（包含される）」、「"A" は "B" に包まれる（包摂あるいは内包される）」などということもある。またこのとき、"B" は "A" のであるということもある。"B" 以外の集合で "B" の部分集合であるようなものは、"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" 」という条件を明記する場合もある。
基本的な性質.
以下、"S", "T", "U" を集合とする。