що Перераховує безліч , безліч, що рекурсивний-перераховує, безліч натуральних чисел або яких-небудь інших конструктивних об'єктів, занумерованих натуральними числами, що є безліччю значень деякої загальнорекурсивної функції. Див. Рекурсивні функції .
