对于两个集合A和B,如果集合A的每个元素都是集合B的元素,则称集合A为集合B的“子集”,记作AB或BA,读作“A包含于B”或“B包含A”。任何一个集合都是它本身的子集。如果A是B的子集,并且B中至少有一个元素不属于A,则称集合A为集合B的“真子集”,记作AB或BA。