If a exists, a and a exist, thus {a,a} exists.
如果a存在，a和a存在，所以{a,a}存在。