[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [obm-l] Teoria dos Conjuntos
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 <barone@ime.usp.br>
=========================================================================
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
=========================================================================