Sólo hay una cantidad numerable de secuencias finitas, por lo que también hay sólo una cantidad numerable de subconjuntos finitos.