真子集可以说是子集的一种，但是子集比真子集范围大，子集里可以有全集本身，真子集里没有，非空真子集与真子集也有区别，前者不包括空集，后者可以有。
由于在组成一个子集的时候，每一个元素都有被取过来或者不被取过来两种可能，因此，n个元素的集合就有2^n个不同的构造子集的方法，也就是，它一共有2^n个不同的子集，包括空集和全集在内。空集与全集如果不考虑的话，就剩下2^n-2个非空真子集。
