在集合论里,非空集合是至少含有一个元素的集合.与之相对的是空集.非空集合的元素个数不为零,而空集不含任何元素.