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

