部分集合とは、ある集合の要素の一部または全体を含む集合のことです。
集合Aの全ての要素が集合Bにも含まれる場合、集合Aは集合Bの部分集合であると言います。
例えば、集合Aが{1, 2, 3}で集合Bが{1, 2, 3, 4, 5}だった場合、集合Aは集合Bの部分集合であると言えます。
なお、空集合は、任意の集合の部分集合です。
集合Aが集合Bの部分集合である場合、\(A\subseteq B\)のように表記します。