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