Об одном критерии правильности семейства функций

Правильные семейства функций являются удобным средством для задания больших параметрических классов квазигрупп и $n$-квазигрупп. К. Д. Царегородцевым было замечено, что в булевом случае критериальным свойством правильности семейства является существование и единственность неподвижной точки у каждого из отображений, задаваемых самим семейством и каждым его подсемейством. В работе рассматривается обобщение результата на случай логик произвольной значности. Показывается, что композиции возникающих в критерии преобразований-перекодировок и согласованных перенумераций функций и переменных образуют стабилизатор множества правильных семейств заданного размера.