О базисах тождеств многообразий группоидов отношений

Множество бинарных отношений, замкнутое относительно некоторой совокупности операций над ними, образует алгебру, называемую алгеброй отношений. Всякую такую алгебру можно рассматривать как упорядоченную отношением теоретико-множественного включения. Для заданного множества $\Omega$ операций над бинарными отношениями обозначим через $Var\{\Omega\}$ ($Var\{\Omega,\subset\}$ многообразие, порождённое алгебрами [соответственно упорядоченными алгебрами] отношений с операциями из $\Omega$. Операции над отношениями, как правило, задаются формулами исчисления предикатов первого порядка. Такие операции называются логическими. Важным классом логических операция является класс диофантовых операций. Операция называется диофантовой, если она может быть задана с помощью формулы, которая в своей предваренной нормальной форме содержит лишь операции конъюнкции и кванторы существования. В работе изучаются алгебры отношений с одной бинарной диофантовой операцией, то есть группоиды отношений. В качестве рассматриваемой операции выступает диофантова операция $*$, определяемая следующим образом: $\rho\ast\sigma=\{(x,y)\in X\times X : (\exists z) (x, z)\in \rho \wedge (x, z) \in \sigma\}.$ Отношение $\rho\ast\sigma$ представляет собой результат цилиндрификации пересечения $\rho\cap\sigma$ бинарных отношений $\rho$ и $\sigma$. В работе находятся конечные базисы тождеств для многообразий $Var\{\ast\}$ и $Var\{\ast, \subset \}$. Группоид $(A, \cdot )$ принадлежит многообразию $Var\{\ast \}$ тогда и только тогда, когда он удовлетворяет тождествам: $xy=yx \: (1)$, $(xy)^2=xy\: (2)$, $(xy)y=xy\: (3)$, $x^2y^2=x^2y\: (4)$, $(x^2y^2)z=x^2(y^2z) \:(5).$ Упорядоченный группоид $(A, \cdot, \leq)$ принадлежит многообразию $Var\{\ast, \subset\}$ тогда и только тогда, когда он удовлетворяет тождествам (1)–(5) и тождествам: $x\leq x^2\: (6)$, $xy\leq x^2\:(7).$ В качестве следствия также получен конечный базис тождеств многообразия $Var\{\ast, \cup\}$.