1）有0个元素的集合称为空集,
2）由某个集合中部分元素（包括0个元素）组成的集合称为该集合的真子集,
由两个定义可知,空集是任何非空集合的真子集