Infinito contável
Origem: Wikipédia, a enciclopédia livre.
Infinito contável refere-se a teoria dos conjuntos. Um conjunto é dito infinito se contém um subconjunto próprio que possa ser posto em correspondência biunívoca consigo mesmo. Um conjunto é dito infinito contável se pode ser posto em correspondência biunívoca com os naturais, ou seja, ser numerado.
Por exemplo, os números pares são um subconjunto próprio dos naturais mas cada número par pode ser posto em correspondência com um número natural.
Alguns conjuntos não podem ser postos nesta correspondência, um exemplo é o conjunto dos reais (conforme o argumento de diagonalização de Cantor).