部分集合
Subset
集合$ Aに含まれているすべての要素が集合$ Bに含まれている場合
$ \forall x(x \in A \Rarr x \in B)
「集合$ Aは集合$ Bの部分集合である」という。
部分集合は以下のように記号で書く。
部分集合$ Aと集合$ Bとが等しい可能性があるならば
$ A \subseteq B
部分集合$ Aと集合$ Bとが等しい可能性がないならば
$ A \subset B
関連
集合