空集是不含任何元素的集合，数学符号为、或。

空集的标准符号由尼古拉·布尔巴基小组创造，写作∅（），首先见于他们在1939年出版的《数学原本卷一：集合论》（Éléments de mathématique. Livre 1. Théorie des ensembles. Fascicule de résultats）。这符号也可写作，有时候采用近似字符“Ø”，也可以使用大括号表示。

这符号源自北欧语言的拉丁字母「Ø」，但常被误会为希腊字母“φ”。（φ有两个写法：小写的和缩小了的大写，后者常被误用为空集符号。的中间为一长竖，中间的圈也较小，与的斜线和大圆不同。）。

In mathematics, and more specifically set theory, the empty set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set; in other theories, its existence can be deduced. Many possible properties of sets are trivially true for the empty set.