Обобщение критерия биюнктивности Шефера

Критерий биюнктивности Шефера состоит в том, что булева функция $f$ биюнктивна, то есть представима в виде $2$-КНФ, тогда и только тогда, когда ее множество выполняющих векторов $E_f$ замкнуто относительно операции, задаваемой покоординатным применением функции голосования от трех переменных. В данной работе приведено обобщение данного критерия на случай, когда множество $E_f$ замкнуто относительно операции, задаваемой покоординатным применением пороговой функции из более широкого класса.