[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
=========================================================================