空集是任何非空集合的真子集。Ø只有一个子集,没有真子集。{Ø}有两个子集,一个是Ø一个是它本身定义:不含任何元素的集合称为空集。空集是任何集合的子集,但把空集说成是任何集合的真子集就不确切。关于补集,补集的概念是相对而言的,集合A在不同的全集中的补集是不同的,所以在描述补集概念时,一定要注明。集合A中子集B的补集或余集记为CAB ,简单的说集合A的补集是没有意义的。属于符号“∈ ”、不属于符号“∉”,它们只能用在元素与集合符号之间;包含于(被包含)符号“⊆ ”、包含符号“⊇”,它们只能用在两个集合符号之间。如,{0}是含有一个元素的集合,Ø是不含任何元素的集合,因此,有Ø⊆{0},不能写成Ø={0} 或Ø∈{0}。