子集是一个数学概念，对于一个有n个元素的集合而言，那么它共有2^n个子集。另外，非空子集个数为2^n-1;
真子集个数为2^n-1;非空真子集个数为2^n-2。子集定义：如果集合A的任意一个元素都是集合B的元素（任意a∈A则a∈B），那么集合A称为集合B的子集。对于两个非空集合A与B，如果集合A的任何一个元素都是集合B的元素，我们就说A?B(读作权A包含于B)，或B?A(读作B包含A)，称集合A是集合B的子集。真子集（propersubset）是指如果集合A是集合B的子集，并且集合B中至少有一个元素不属于A，那么集合A叫做集合B的真子集一般地，对于两个集合A、B，如果集合A中任意一个元素都是集合B中的元素，我们就说这两个集合有包含关系，称集合A为集合B的子（subset）。