如果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的子集。