Математическая энциклопедия

ОБЩЕРЕКУРСИВНЫЙ ОПЕРАТОР

-частично рекурсивный оператор,к-рый определен на всех всюду определенных функциях и переводит всюду определенные функции во всюду определенные.В. Е. Плиско.