Prueba: Observe que es contable por definición porque la función dada por es inyectiva.