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