Упорядоченные алгебры многоместных функций

Множество $M$ с заданной на нем $(n+1)$-операцией, удовлетворяющей тождеству сверхассоциативности
$$ x[y_1,\dots,y_n][z_1,\dots,z_n]=x[y_1[z_1,\dots,z_n],\dots,y_n[z_1,\dots,z_n]] $$
называется алгеброй Менгера. Здесь через $x[y_1,\dots,y_n]$ обозначен результат применения $(n+1)$-операции к системе элементов $(y_1,\dots,y_n,x)$. Примером алгебры Менгера является множество всех функций от $n$ переменных, заданных на некотором множестве, вместе с операцией суперпозиции. В статье находятся необходимые и достаточные условия того, чтобы алгебра Менгера $M$ с выделенными на ней одним отношением порядка $\le$ и одним отношением квазипорядка $\ulcorner$ была изоморфна некоторой алгебре Менгера функций от $n$ переменных так, чтобы $\le$ переходило в точности в отношение теоретико-множественного включения, а $\ulcorner$ — в отношение; включения областей определения.