非空子集

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