非空集合

在集合論裏，非空集合是至少含有一个元素的集合。與之相對的是空集。

非空集合的元素个数不为零，而空集不含任何元素。