非空子集

一般的，我們把研究對象統稱為元素(element)，把一些元素組成的總體叫做集合(set)(簡稱為集)。對於兩個集合A，B，如果集合A中任意一種元素都是集合B中的元素，我們就説這兩個集合有包含關係，稱集合A是集合B的子集(subset),如果集合B中有一個或以上的元素不屬於集合A，且集合A中的元素全部屬於集合B，那麼我們説集合A是集合B的真子集，不包含元素的集合叫做空集(empty set)，記作∅。規定∅是任何集合的子集。