部分集合とは？

ぶぶんしゅうごう

集合Aの全要素が集合Bにも含まれるとき、AはBの部分集合であるといいます。記号は⊆です。

部分集合とは、集合 A のすべての元が集合 B の元でもあるとき、A は B の部分集合（A ⊆ B）であるという関係のことである。A = B の場合も部分集合に含まれ、A ≠ B のとき真部分集合（A ⊊ B）という。空集合 ∅ はあらゆる集合の部分集合であり、集合 A 自身もその部分集合である。