非空集合

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