真子集的公式是真子集个数=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是自身的子集，空集是任一***的子集。