[obm-l] Re: [obm-l] Re: [obm-l] representação de p ares ordenados

[Tarso de Moura Leitão]

O correto é { {a} ; { a , b } } , e não { a ; { a , b } } , conforme escrevi 
distraidamente. É a primeira definição ( creio que é de Kuratowisk , polonês ) 
que nos permite demonstrar que
{{ a }, { a , b } } = { { c } , { c, d } } implica em a=c e b=d. A demonstração 
é simples, porém interessante.
Salut
Tarso de Moura Leitão