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

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

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