Наследственные системы дискретных функций

Рассматриваются функции, принимающие значения в конечном множестве $D$ и зависящие от переменных, принимающих значения в конечном множестве $E$. Множества таких функций, замкнутые относительно операций перестановки и отождествления переменных, называются наследственными. Изучаются возможности эффективного задания наследственных систем при помощи запрещающих и порождающих множеств, а также посредством предикатов. На наследственные системы переносятся известные для замкнутых классов теоремы: о соответствии Галуа, теорема Яблонского о предикатно характеризуемых классах, теорема Кузнецова о полноте. Библ. 12.