Bonjour, il me semble que dans les transparents sur la théorie du calcul, diapositive 19, au lieu de surjective il faudrait que l'application soit bijective (https://www.math.ens.fr/~bourrigan/int1/denombrabilite.pdf).
Nous préférons dire surjective pour inclure le cas fini : pour nous un ensemble fini est dénombrable.
Merci monsieur je comprends.