什么是空集

【什么是空集】空集是指不含任何元素的集合 。空集是任何集合的子集,是任何非空集合的真子集 。空集不是无;它是内部没有元素的集合 。
可以将集合想象成一个装有元素的袋子,而空集的袋子是空的,但袋子本身确实是存在的 。
在诸如策梅罗-弗兰克尔集合论的公理集合论中,空集的存在性是由空集公理确定的 。空集的唯一性由外延公理得出 。