1001：f(空集)=0，f({单个元素a的集合})=a