ᝰ安之若素ᝰ2021-09-13 10:45:19

空集不是包含任何集合；

空集是指不含任何元素的集合，空集是任何集合的子集，是任何非空集合的真子集。空集不是無，它是內部沒有元素的集合，可以將集合想象成一個裝有元素的袋子，而空集的袋子是空的，但袋子本身確實是存在的。

根據定義，空集有 0 個元素，或者稱其勢為 0，然而，這兩者的關係可能更進一步：在標準的自然數的集合論定義中，0 被定義為空集，實數0與空集是兩個不同的概念，不能把0或{0}與Ø混為一談。

在諸如策梅羅-弗蘭克爾集合論的公理集合論中，兩個集合相等，若它們有相同的元素，那麼僅可能有一個集合是沒有元素的，即空集是唯一的。