ФУНКЦИИ, СОХРАНЯЮЩИЕ МНОЖЕСТВО
— функции алгебры логики или логик многозначных такие, что если для некоторого множества Е (сохраняемого этими функциями), выполняется условие
, то
. Очевидно, что для любого мн-ва Е семейство всех ф-ций, сохраняющих это мн-во Е, является классом замкнутым функций алгебры логики.
