Математическая энциклопедия:
Частично рекурсивный оператор, к-рый определен на всех всюду определенных функциях и переводит всюду определенные функции во всюду определенные. В. Е. Плиско.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020