真子集的公式是真子集个数=2^n-1。如果集合A是集合B的子集，并且集合B不是集合A的子集，那么集合A叫做集合B的真子集。就是如果A包含于B，且A不等于B，就说集合A是集合B的真子集。
另外对于两个集合A、B，如果集合A中任意一个元素都是集合B中的元素，就说这两个集合有包含关系，称集合A为集合B的子集。即对于集合A与B，?x∈A有x∈B，则A?B。可知任一集合A是自身的子集，空集是任一集合的子集。
