(资料图片仅供参考)

一般地，如果对于集合A的任意一个元素都是集合B的元素（任意a∈A则a∈B），那么集合A称为集合B的子集，记为A⊆B或 B⊇A，读作“集合A包含于集合B”或集合B包含集合A”。即：∀a∈A有a∈B，则A⊆B。

集合A是集合B的子集可用Venn图表示如下：

（1）反身性：A⊆A

（2）传递性：如果A⊆B，且‬B⊆C，那么‬A⊆C。

关键词：