===== Sortidos (Combinatória infinita) =====

<WRAP tip>
Estes exercícios não seguem qualquer ordem. Muitos deles tem diversos tipos de solução. É um bom lugar para ver treinar combinatória infinita. 
</WRAP>

**~~#~~** Seja $(A_n)_{n \in \omega}$ cadeia decrescente de subconjuntos infinitos de $\omega$ ordenada por $\subset^*$. Mostre que existe $B$ infinito tal que $B \subset^* A_n$ para todo $n \in \omega$ ({{entry>$\subset^*$; $A \subset^* B$}} quer dizer que $B \smallsetminus A$ é finito).