Uma ajuda por favor:
*) Seja f:X->X uma função. um subconjunto Y'C'X(Y contido em X) chama-se estável relativamente a f quando f(Y)'C'Y. Prove que um conjunto X é finito se, e somente se, existe uma função f:X->X que só admite os subconjuntos estáveis ( ) (vazio) e X. Valeu! (^_^) _________________________________________________________________ O Novo Windows 7 funciona do jeito que você quer. Clique aqui para conhecer! http://www.microsoft.com/brasil/windows7/default.html?WT.mc_id=1539