Большая Советская Энциклопедия
Перечислимое
множество, рекурсивно-перечислимое множество, множество натуральных чисел или каких-либо других конструктивных объектов , занумерованных натуральными числами, являющееся множеством значений некоторой общерекурсивной функции. См. Рекурсивные функции .