如何判断一个集合是否是一个集合的真子集？

集合真子集的个数公式是2 n-1。对于一个有n个元素的集合，它的* * *有2 n个子集，真子集的个数减1。如果集合A的任何元素是集合B的元素，那么集合A称为集合B的子集..

集合分为空集和非空集:

1.如果是空集，只有一个子集是自身，没有真子集。

2.如果是非空集，如果一个集合中有n个元素，则这个集合的子集个数为2 n，真子集个数为(2 n)-1。

公式的概念

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

公式的精确定义取决于所涉及的具体形式逻辑，但有一个非常典型的定义(针对一阶逻辑):公式是相对于特定语言定义的；即一组常量符号、函数符号和关系符号，其中每个函数和关系符号都有一个arity来指示它接受的参数的数量。