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?