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