Соответствие Галуа для замкнутых классов дискретных функций

Формулируется теория Галуа для $S$-замкнутых классов дискретных функций, совпадающих в частных случаях с замкнутыми суперпозицией классами функций многозначной логики, с клонами, с наследственными системами дискретных функций, а также с классами функций, вычисляемых схемами из переключательных элементов.