集合真子集的個(gè)數(shù)公式為2^n-1。 對(duì)于一個(gè)有n個(gè)元素的集合而言，其共有2^n個(gè)子集，真子集個(gè)數(shù)減去1。 如果集合A的任意一個(gè)元素都是集版合B的元素，那么集合A稱為集合B的子集。

集合分為空集和非空集合：

1、若為空集，則只有一個(gè)子集是它本身，無(wú)真子集。

2、若為非空集合，一個(gè)集合中若有n個(gè)元素則這個(gè)集合的子集的個(gè)數(shù)為 2^n 個(gè)，真子集的個(gè)數(shù)為 (2^n)-1 個(gè)。

、公式，在數(shù)學(xué)、物理學(xué)、化學(xué)、生物學(xué)等自然科學(xué)中用數(shù)學(xué)符號(hào)表示幾個(gè)量之間關(guān)系的式子。具有普遍性，適合于同類(lèi)關(guān)系的所有問(wèn)題。在數(shù)理邏輯中，公式是表達(dá)命題的形式語(yǔ)法對(duì)象，除了這個(gè)命題可能依賴于這個(gè)公式的自由變量的值之外。

公式精確定義依賴于涉及到的特定的形式邏輯，但有如下一個(gè)非常典型的定義（特定于一階邏輯): 公式是相對(duì)于特定語(yǔ)言而定義的；就是說(shuō)，一組常量符號(hào)、函數(shù)符號(hào)和關(guān)系符號(hào)，這里的每個(gè)函數(shù)和關(guān)系符號(hào)都帶有一個(gè)元數(shù)(arity）來(lái)指示它所接受的參數(shù)的數(shù)目。