enumerável

Enumerável é o adjetivo que descreve algo que pode ser enumerado, ou seja, listado elemento por elemento, normalmente por meio de uma sequência ordenada. Em matemática, um conjunto é enumerável se existe uma bijeção entre esse conjunto e um subconjunto dos números naturais; em termos práticos, ele é finito ou contável (countable). Assim, conjuntos dos naturais, dos inteiros e dos racionais são enumeráveis, enquanto o conjunto dos reais é não enumerável.

Na prática matemática, essa noção facilita contar elementos e estabelecer correspondências simples com sequências numeradas. A ideia central é que cada elemento pode ser associado a um número natural distinto, o que permite ordenar, catalogar ou “listar” os elementos de forma finita ou infinita.

Na ciência da computação, o termo costuma indicar objetos que podem ser percorridos sequencialmente por meio de um iterador ou gerador. Um objeto enumerável fornece seus elementos um a um, até que se esgote (ou de forma indefinida, se for infinito). Diferentes linguagens expressam isso de maneiras distintas: em C#, um conjunto enumerável implementa o tipo IEnumerable; em JavaScript, objetos com o protocolo de iteração (Symbol.iterator) são iterables; em Python, tipos com o protocolo de iteração são iteráveis. É importante não confundir enumerável com enum (tipo de dado enumerado); são conceitos diferentes.

Características comuns incluem suportar iteração, poder ser finito ou infinito, e permitir transformações funcionais sem materializar todos os elementos de imediato, quando aplicável. Exemplos de estruturas enumeráveis são listas, arrays, fluxos (streams) e geradores.