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

— функции алгебры логики, для которых выполняется следующее условие: если наборы их значений аргументов а и 6 такие, что , то . Отношение для наборов определяют так. что f в том, и только в том случае, когда для всякого . Класс всех М. ф. а. л. является классом замкнутым функций алгебры логики. Монотонными являются, напр., ф-ции .