Об $\alpha$-замкнутых классах и $\alpha$-полных системах функций $k$-значной логики

С помощью ограниченной суперпозиции (в которой подстановка неселекторных функций разрешается лишь вместо 1-го переменного) стандартным образом определяются понятия $\alpha$-замкнутого класса и $\alpha$-полной системы функций $k$-значной логики. Для $k\geqslant7$ доказывается $\alpha$-полнота любой системы функций, содержащей все подстановки и любую одну квазигрупповую функцию.