Demostrar/refutar: $\{\{a\},b\}=\{\{c\},d\}\iff a=c \land b=d$
Sé el LHS no es como en la definición de los conjuntos ordenados de modo que es probablemente falsa, pero no puedo encontrar ningún número como ejemplo contrario, ni el conjunto vacío...
Tal vez si vamos a suponer $a=b$ $a=c$ pero $b\neq d$$\{\{a\},a\}=\{\{a\},d\}$, pero ahora que indica que $a\neq d$ implicará $\{\{a\},a\}\neq\{\{a\},d\}$, por lo que no funciona bien.
