Caro Bruno
Definicoes
{x,y}=z t.q t \in z <=> t=x ou t=y.
({x,y} existe pelo axioma do par)
{x}={x,x}.
Decorre que se u \in {v}, u=v.
Angelo Barone Netto <[EMAIL PROTECTED]>
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================
