Аннотация:
Работа по теории абстрактных клонов. Исследуются бинарные предикаты на $k$-элементном множестве и операции над этими предикатами. Приведeн список операций над бинарными предикатами, замыкание относительно которых для $k \in \{2, 3\}$ эквивалентно замыканию относительно всех примитивных позитивных формул. При $k \geqslant 4$ показано, что замыкание относительно указанных операций строго слабее замыкания относительно всех примитивных позитивных формул.
Ключевые слова:теория клонов, бинарные предикаты, бинарные отношения, операции на предикатах, примитивные позитивные формулы, оператор замыкания, $k$-значная логика.