Um conjunto é enumerável se possui um número finito de elementos.

Um conjunto é enumerável se não possui elementos repetidos.

Um conjunto é enumerável se existe uma bijeção entre ele e um subconjunto dos números naturais.