非空集合

至少含有一個元素的集合

集合論里,非空集合是至少含有一個元素的集合。與之相對的是空集。非空集合的元素個數不為零,而空集不含任何元素。