一般地,如果对于集合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。