什麼是空集

空集是指不含任何元素的集合。空集是任何集合的子集，是任何非空集合的真子集。空集不是無；它是內部沒有元素的集合。

可以將集合想象成一個裝有元素的袋子，而空集的袋子是空的，但袋子本身確實是存在的。

在諸如策梅羅-弗蘭克爾集合論的公理集合論中，空集的存在性是由空集公理確定的。空集的唯一性由外延公理得出。