空集是集合。
把一些能夠確定的不同的對象看成一個整體,就説這個整體是由這些對象的全體構成的集合. 集合中每個對象叫做這個集合的元素.元素與集合的關係通常用屬於或不屬於表示。把不含任何元素的集合叫做空集Ф。空集也是集合,所以不能説空集屬於元素。