非空真子集个数公式是非空指一个集合中，不包含空集和自身的真集所有子集的数量。这个公式是个数公式用数学符号表示的，非空真子集的非空数量可以用2的n次方减去2来计算，其中n是真集集合中元素的数量。
假设我们有一个集合A，个数公式它包含n个元素。非空那么A的真集所有非空真子集可以表示为{ a1,a2,……,an}的所有可能组合，其中每个元素都有两种可能的个数公式出现情况：出现或不出现。因此，非空我们可以使用二进制数的真集方式来表示每个元素的出现情况，其中1表示出现，个数公式0表示不出现。非空这样，真集我们就可以用2的个数公式n次方个二进制数来表示所有可能的组合，包括空集和A本身。
但是，我们要排除空集和A本身。空集只有一种可能性，即所有元素都不出现，所以我们可以将其从2的n次方个组合中减去。同样地，A本身也只有一种可能性，即所有元素都出现，所以我们也要将它从2的n次方个组合中减去。所以，非空真子集的数量可以表示为2的n次方减去2，即：
非空真子集个数 = 2^n - 2
这个公式可以用来计算任何集合中非空真子集的数量，从而帮助我们更好地理解和研究集合的性质和特征。