Перечислимое множество

Перечислимое множество (computably enumerable set, recursively enumerable set, semidecidable set) — см. Теория алгоритмов.