1(则=2}=={ 所以1)成立,2)不成立; l沙={ tan ia ta 所以3)不成立,4)成立; f(, )={{}, {, }}={{}, {}}={{}}  所以1)成立，2)不成立；  f(a, {a})={{a}, {a, {a}}}  所以3)不成立，4)成立；