• Um conjunto é enumerável se tem a mesma cardinalidade do
conjunto N – Um conjunto é dito contável se é finito ou enumerável – Caso contrário é um conjunto incontável card(A) = card(N) • Exemplos – O conjunto de números naturais pares é enumerável; analogamente o conjunto de números naturais ímpares também é enumerável – A função f : N → Z aparentemente maior que N tem a mesma cardinalidade de N