【正确答案】(充分性)设a=c，b=d，则{a}={c}，{a，b}={c，d}，故{{a}，{a，b}}={{c}，{c，d}}．
   (必要性)设{{a}，{a，b}}={{c}，{c，d}}，由集合相等的条件，必有{a}={c}，{a，b}={c，d}或者{a}={c，d}，{a，b}={c}．
   若{a}={c}，{a，b}={c，d}，则a=c，b=d．
   若{a}={c，d}，{a，b}={c}，则a=b=c=d．
   因此当{{a}，{a，b}}={{c}，{c，d}}时，必有a=c，b=d．