非空集合是什麼意思

在數學中，一個集合被稱為非空集合，若且唯若它至少包含一個元素。也就是說，非空集合與空集合（也稱為 null 集合或 void 集合）相反，空集合不包含任何元素。

例如，考慮自然數集合 (\mathbb{N})，它包含數字0和所有正整數，這是一個非空集合。相反，考慮集合 (\emptyset)，它不包含任何元素，這是一個空集合。

非空集合在數學和其他領域中都非常重要，因為許多數學對象和結構都是建立在非空集合的基礎上的。例如，函式、關係、圖、拓撲空間等都是基於非空集合的概念。