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