非空子集是在一个集合的所有子集中，不包括空集（即空集以外）的子集就叫做非空子集。
一般的，人们把研究对象统称为元素，把一些元素组成的总体叫做集合，简称为集。对于两个集合A，B，如果集合A中任意一种元素都是集合B中的元素，就说这两个集合有包含关系，称集合A是集合B的子集。
如果集合B中有一个或以上的元素不属于集合A，且集合A中的元素全部属于集合B，那么我们说集合A是集合B的真子集，不包含元素的集合叫做空集，记作∅。规定∅是任何集合的子集。
