Mostre que, dado $n \in \omega$, o conjunto $A_n = \{B \subset A: B$ tem $n$ elementos$\}$ é enumerável (talvez ajude fazer por indução sobre $n$).