Общерекурсивный Оператор

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