可以根据定义空集也是集合,而且空集中的元素(可以说没有元素),在任意集合(包括空集)中都存在,因而得到“空集是所有集合的子集”。 同理得到,任何非空集合中,都有空集所没有的元素,就得到“空集是所有非空集合的真子集”