非空集

非空集是一個包含一個或多個元素的集合。任何不是空集 的集合因此都是非空集。非空集有時也稱為非空虛集（Grätzer 1971，第 6 頁）。包含單個元素的非空集稱為單元素集合。