为什么任何集合都有空集