集合分為空集和非空集:
1.如果是空集，只有壹個子集是自身，不存在真子集。
2.如果是非空集，如果壹個集合中有n個元素，則該集合的子集數為2 n，真子集數為（2n）-1。
、公式，在數學、物理學、化學、生物學等自然科學中，數學符號被用來表示幾個量之間的關系。它是通用的，適用於所有類似關系的問題。在數理邏輯中，公式是表達命題的形式語法對象，只是命題可能取決於公式的自由變量值。
公式的精確定義取決於所涉及的具體形式邏輯，但有壹個非常典型的定義（特定於壹階邏輯）:公式是相對於特定語言定義的；即壹組常量符號、函數符號和關系符號，其中每個函數和關系符號都有壹個arity來指示它接受的參數數量。