一般的，我們把研究對象統稱為元素(element)，把一些元素組成的總體叫做集合(set)(簡稱為集)。對於兩個集合A，B，如果集合A中任意一種元素都是集合B中的元素，我們就說這兩個集合有包含關係，稱集合A是集合B的子集(subset),如果集合B中有一個或以上的元素不屬於集合A，且集合A中的元素全部屬於集合B，那麼我們說集合A是集合B的真子集，不包含元素的集合叫做空集(empty set)，記作∅。規定∅是任何集合的子集。
在一個集合的所有子集中，不包括空集（即空集以外）的子集就叫做非空子集。
非空子集個數的一般求法：2^n-1。
