空集是指不含任何元素的集合。
空集是任何集合的子集，是任何非空集合的真子集。空集不是無，它是內部沒有元素的集合。可以將集合想象成壹個裝有元素的袋子，而空集的袋子是空的，但袋子本身確實是存在的。
空集屬於有限集，不含任何元素的集合成為空集。用符號Φ表示，考慮到空集是實數線（或任意拓撲空間）的子集，空集既是開集、又是閉集。空集的邊界點集合是空集，是它的子集，因此空集是閉集。
空集的性質：
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×?=?。