Функциональные системы Менгера

В работе находится абстрактная характеристика класса алгебр многоместных функций вида $(\Phi,\mathrm O,\mathfrak R_1,\dots,\mathfrak R_n)$, где $\Phi$ есть множество $n$-местных преобразований, замкнутое относительно операций, $\mathrm O$ — операция суперпозиции, $\mathfrak R_1,\dots,\mathfrak R_n$ — операции ограничения, определяемые условиями $\operatorname{pr_1}\mathfrak R_i\varphi=\operatorname{pr_1}\varphi$, $(a_1,\dots,a_n)\in\operatorname{pr_1}\varphi\to\mathfrak R_i\varphi(a_1,\dots,a_n)=a_i$ для каждого $i=1,\dots,n$, где $\varphi\in\Phi$.