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).

Quando existe uma função bijectiva entre os naturais e um conjunto, esta função se chama uma enumeração do conjunto, e representa-se por ${\displaystyle a_{i}\,}$ sendo i o índice. Normalmente não é importante se o índice começa no zero ou no um.