У роботі досліджується клас еквітонних предикатів, заданих на довільній передупорядкованій множині, областю значень для яких є деяка повна решітка з інволюцією. Будується алгебра таких предикатів та визначається система її твірних.
Ключові слова: еквітонний предикат, алгебра еквітонних предикатів.
In the current work the class of equiton predicates is investigated. Predicates are defined on the semi-ordered set and take values from the complete lattice with involution. The algebra of such predicates is built and the set of generatrixes for it is defined.
Key Words: equiton predicate, algebra of equiton predicates.
