Conjunto enumerável
Um conjunto enumerável pode ter infinitos elementos, mas ainda é possível associar cada um desses elementos a um número natural 
Existem dois tipos principais de conjuntos enumeráveis:
- Conjuntos finitos: todos os elementos podem ser listados em algum ponto.
 - Conjuntos infinitos enumeráveis: são aqueles cujos elementos podem ser colocados em correspondência bijetiva (um para um) com os números naturais.
 
Exemplo
O conjunto dos números naturais 
Outro exemplo é o conjunto dos números inteiros 
0→1, −1→2, 1→3, −2→4, 2→5, …