非空子集是在一个***的所有子集中，不包括空集（即空集以外）的子集就叫做非空子集。

一般的，人们把研究对象统称为元素，把一些元素组成的总体叫做***，简称为集。对于两个***A，B，如果***A中任意一种元素都是***B中的元素，就说这两个***有包含关系，称***A是***B的子集。

如果***B中有一个或以上的元素不属于***A，且***A中的元素全部属于***B，那么我们说***A是***B的真子集，不包含元素的***叫做空集，记作∅。规定∅是任何***的子集。