Un ensemble E est dit dénombrable s'il est équipotent à l'ensemble des entiers naturels , c'est-à-dire s'il existe une bijection de E sur ; cela équivaut à l'existence d'une bijection de sur E.

Un ensemble infini est dit dénombrable si, et seulement si, il existe une bijection entre lui et N. Intuitivement, un ensemble infini est dénombrable si, et seulement si, on peut « énumérer » ses ...