空集是指不含任何元素的集合。空集是任何集合的子集，是任何非空集合的真子集。空集不是无；它是内部没有元素的集合。
可以将集合想象成一个装有元素的袋子，而空集的袋子是空的，但袋子本身确实是存在的。
为什么会引入，因为可以方便研究子集。
在没有集合的时候，就要空集，这样方便，也是一个结果，不能没有结果的时候就用无结果。
这在西方哲学，称作“柏拉图的胡子”悖论问题：如果要说明某物不存在，首先要假定其存在。
就像刚才所说，说某物不存在，我们必须要承认存在着“不存在”。
例如，我问：世界上有鬼吗？
你回答：没有鬼。既然没有鬼，那么你提到的那个没有的“鬼”是指什么？这个悖论的实质是说，我们应当如何定义不存在？
更多更复杂的概念里更需要引入空集了。
好比数字中因子是1和自身，空集代表这个1.