非空集合满足两点：是集合,不是空集
空集是非空集合的真子集,不是空集的真子集
注意真子集是大集合要有一个元素不属于小的集合