Большая Советская энциклопедия II

ПЕРЕЧИСЛИМОЕ

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