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