conjunto contável

Na matemática, um conjunto contável é um conjunto de mesma cardinalidade (número de elementos) de um subconjunto qualquer do conjunto dos números naturais. Um conjunto é dito incontável quando ele não é contável. O termo foi criado por Georg Cantor. Os elementos de um conjunto contável podem ser contados um por vez—mesmo que a contagem nunca termine, cada elemento do conjunto será eventualmente associado com um número natural. Alguns autores usam conjunto contável para representar um conjunto com a mesma cardinalidade do conjunto dos números naturais. A diferença entre as duas definições é que, considerando a primeira definição, conjuntos finitos também são considerados contáveis. A segunda definição, no entanto, estabelece que conjuntos infinitos não são contáveis. Para resolver essa ambiguidade, o termo máximo contável é usado para a primeira definição, e infinito contável para a segunda definição. O termo enumerável também pode ser usado para representar infinito contável, ou contável, em contraste com o termo não enumerável.