至少含有一个元素的集合，叫做非空集合。在集合论里，至少含有一个元素的集合，叫做非空集合，简称非空集。也就是说，除了空集外，其余的集合都是非空集。一个元素也没有的集合，叫做空集。