子集是一个数学概念：如果集合A的任意一个元素都是集合B的元素，那么集合A称为集合B的子集。
定义：
如果集合A的任意一个元素都是集合B的元素，那么集合A称为集合B的子集，记为A包含B或 B被包含A，读作“集合A包含于集合B”或集合B包含集合A”。
性质：
第一、根据子集的定义，我们知道A包含A。也就是说，任何一个集合是它本身的子集。
第二、对于空集，我们规定空集包含A，即空集是任何集合的子集。
