空集是指不含任何元素的集合。空集是任何集合的子集，是任何非空集合的真子集。空集不是无；它是内部没有元素的集合。

可以将集合想象成一个装有元素的袋子，而空集的袋子是空的，但袋子本身确实是存在的。

在诸如策梅罗-弗兰克尔集合论的公理集合论中，空集的存在性是由空集公理确定的。空集的唯一性由外延公理得出。