Boa tarde, Eu ainda nao consegui demonstrar o seguinte, talvez alguem tenha uma sacada.
Seja A um conjunto infinito e f uma injecao de A sobre B. Se o conjunto B - f(A) for, no maximo, enumeravel, entao A e B sao equivalentes. Artur ________________________________________________ OPEN Internet e Inform�tica @ Primeiro provedor do DF com anti-v�rus no servidor de e-mails @ ========================================================================= 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 =========================================================================

