En
mathématiques, un
ensemble est dit
dénombrable, ou
infini dénombrable, lorsque ses éléments peuvent être listés
sans omission ni répétition dans une
suite indexée par les
entiers. Certains ensembles infinis, au contraire, contiennent « trop » d'éléments pour être parcourus complètement par l'infinité des entiers et sont donc dits « non dénombrables ».