空集屬于有限集。定義：不含任何元素的集合成為空集。表示方法：用符號Φ表示，考慮到空集是實數線（或任意拓撲空間）的子集，空集既是開集、又是閉集。空集的邊界點集合是空集，是它的子集，因此空集是閉集。

空集是指不含任何元素的集合?？占侨魏渭系淖蛹侨魏畏强占系恼孀蛹??？占皇菬o；它是內部沒有元素的集合?？梢詫⒓舷胂蟪梢粋€裝有元素的袋子，而空集的袋子是空的，但袋子本身確實是存在的

表示方法：

用符號?或者{ }表示。

注意：{?}是有一個?元素的集合，而不是空集。

在LaTeX中空集表示代碼 \emptyset 。

0是一個數，不是集合。

{0}是一個集合，集合惟獨0這個元素。

?是一個集合，但是不含任何元素。

{?}是一個非空集合，集合惟獨空集這個元素。

空集的性質：

1、對任意集合 A，空集是 A 的子集：?A：? ? A；

2、對任意集合 A，空集和 A 的并集為 A：?A：A ∪ ? = A；

3、對任意非空集合 A，空集是 A的真子集：?A,，，若A≠?，則? 真包含于 A；

4、對任意集合 A，空集和 A 的交集為空集：?A，A ∩ ? = ?；

5、對任意集合 A，空集和 A 的笛卡爾積為空集：?A，A × ? = ?；

6、空集的唯一子集是空集本身：?A，若 A ? ? ? A，則 A= ?；?A，若A= ?，則A ? ? ? A；

7、空集的元素個數（即它的勢）為零；

8、特殊的，空集是有限的：| ? | = 0；

9、對于全集，空集的補集為全集：CU?=U。

集合論中，若兩個集合有相同的元素，則它們相等。那么，所有的空集都是相等的，即空集是唯一的。

來源：高三網