空集是指不含任何元素的集合。空集是任何集合的子集,是任何非空集合的真子集。空集不是無;它是内部沒有元素的集合。
可以将集合想象成一個裝有元素的袋子,而空集的袋子是空的,但袋子本身确實是存在的。
在諸如策梅羅-弗蘭克爾集合論的公理集合論中,空集的存在性是由空集公理确定的。空集的唯一性由外延公理得出。
空集是指不含任何元素的集合。空集是任何集合的子集,是任何非空集合的真子集。空集不是無;它是内部沒有元素的集合。
可以将集合想象成一個裝有元素的袋子,而空集的袋子是空的,但袋子本身确實是存在的。
在諸如策梅羅-弗蘭克爾集合論的公理集合論中,空集的存在性是由空集公理确定的。空集的唯一性由外延公理得出。