Представление алгебр $n$-отношений в алгебры бинарных отношений

Вводится понятие алгебры $n$-отношений при произвольном $n$ как обобщение понятия алгебры бинарных отношений в смысле Тарского. При этом на множестве $n$-отношений кроме булевых операций рассматриваются специальные операции умножения, обращения и взятия частично тождественной части $n$-отношений, являющиеся глобальными для некоторых операций, определенных в $n$-й декартовой степени базисного множества. Доказывается, что всякая алгебра $n$-отношений имеет изоморфное представление в некоторую алгебру бинарных отношений, и дается описание всех таких представлений.