如果A={1，2，3}，B={1，2，3}，则只能说A是B的子集，而不能说A是B的真子集，而如果A={1，2，3}，B={1，2，3，4}，则我们既可以说A是B的子集，也可以说A是B的真子集。子集是一个数学概念，如果集合A的任意一个元素都是集合B的元素（任意a∈A则a∈B），那么集合A称为集合B的子集（subset）。对于两个非空集合A与B，如果集合A的任何一个元素都是集合B的元素，我们就说A⊆B(读作A包含于B)，或B⊇A(读作B包含A)，称集合A是集合B的子集。