空集用符號?表示。
空集是指不含任何元素的集合。空集是任何集合的子集，是任何非空集合的真子集。空集不是無；它是內部沒有元素的集合。
可以將集合想象成壹個裝有元素的袋子，而空集的袋子是空的，但袋子本身確實是存在的。
性質
對任意集合 A，空集是 A 的子集：?A： A。
對任意集合 A，空集和 A 的並集為 A：?A：A ∪ ? = A。
對任意非空集合 A，空集是 A的真子集：?A,，，若A≠?，則? 真包含於 A。
對任意集合 A，空集和 A 的交集為空集：?A，A ∩ ? = ?。
對任意集合 A，空集和 A 的笛卡爾積為空集：?A，A × ? = ?。
空集的唯壹子集是空集本身：?A，若 A ? A，則 A= ?；?A，若A= ?，則A ? A。
空集的元素個數（即它的勢）為零。
特別的，空集是有限的：| ? | = 0。
對於全集，空集的補集為全集：CU?=U。