Аннотация:
Рассматриваются классы квазимонотонных, монотонных, а также слабо существенных квазимонотонных и монотонных функций на конечной верхней полурешётке. В системах инвариантных для этих классов предикатов находятся порождающие множества, порождающие эти системы с использованием диагоналей и с помощью операций конъюнкции предикатов, отождествления и перестановки переменных, введения и удаления фиктивных переменных. Рассматриваемые вопросы связаны с проблемами полноты, выразимости и конечной порождаемости для этих классов.