КЛАСС ЗАМКНУТЫЙ ФУНКЦИЙ АЛГЕБРЫ ЛОГИКИ

— такой класс функций , что 1) вместе с каждой функцией классу принадлежит функция , где не все у должны быть различными (замкнутость относительно отождествления переменных); 2) вместе со всякими классу принадлежит функция относительно суперпозиции). К. з. является, напр., класс всех ф-ций алгебры логики.