Kuratowski definiu par ordenado (a,b) = {{a};{a;b}} . A partir daí pode-se provar a igualdade entre 2 pares ordenados. Mas em todo livro que se trata sobre os números complexos, vem uma definição para soma de pares ordenados (a,b) + (c,d) = (a+c , b+d) . Nesse caso seria equivalente dizer que {{a};{a;b}} + {{c};{c;d}} = {{a+c};{a+c;b+d}} . Só que eu nunca vi em livro nenhuma sobre a teoria dos conjuntos alguma definição para soma de conjuntos. Outra pergunta minha é sobre o produto de pares ordenados que decairia num produto de conjuntos. Como explicar isso?