集合真子集的个数公式为2^n-1。 对于一个有n个元素的集合而言，其共有2^n个子集，真子集个数减去1。 如果集合A的任意一个元素都是集版合B的元素，那么集合A称为集合B的子集。

集合分为空集和非空集合：

1、若为空集，则只有一个子集是它本身，无真子集。

2、若为非空集合，一个集合中若有n个元素则这个集合的子集的个数为 2^n 个，真子集的个数为 (2^n)-1 个。

、公式，在数学、物理学、化学、生物学等自然科学中用数学符号表示几个量之间关系的式子。具有普遍性，适合于同类关系的所有问题。在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。

公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑): 公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数(arity）来指示它所接受的参数的数目。