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

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

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