En
matemáticas, particularmente en la Teoría de Conjuntos, un
conjunto T es
numerable o
contable cuando entre este conjunto y el conjunto de todos los números naturales se puede establecer una biyección. De modo que el conjunto tiene la misma cantidad de elementos que el conjunto ℕ.