En matemáticas, un conjunto es numerable o contable cuando sus elementos pueden ponerse en correspondencia uno a uno con el conjunto de los números naturales o un subconjunto finito del mismo.Algunos autores toman una definición alternativa de conjunto numerable que incluye también a los conjuntos finitos. Esta definición establece que un conjunto es numerable cuando existe correspondencia uno a uno entre el conjunto y algún subconjunto de los números naturales y es por esto que en ocasiones se especifica conjunto infinito numerable o a lo sumo numerable para evitar ambigüedades, refiriendo la primera expresión únicamente a conjuntos infinitos y la segunda permitiendo conjuntos finitos.Georg Cantor fue el primero que hizo uso de este concepto en un artículo publicado en 1874 que marcaría el nacimiento de la teoría de conjuntos. Sin embargo, su importancia se manifiesta en numerosos campos de las matemáticas, en particular en el análisis, en teoría de la medida y en topología.