真子集的个数公式是什么