On the variety generated by generalized subreducts of Tarski's algebras of relations (Q6053400)

Considered is the algebra of binary relations on a given set \(U\) closed under relational composition \(\circ\). It is well-known that the class of such algebras, i.e. groupoids is a variety of all semigroups. It was shown by the author that if instead of relational composition \(\circ\) is considered the operation \(*\) given by \(\varrho*\sigma=\varrho^{-1}\circ\sigma\) then the groupoid \((A,*)\) belongs to the variety generated by the class of all relational algebras with the operation \(*\) if and only if it satisfies the identity \((x(yz))t=x(t(zy))\). The class of all relational algebras with the operation \(*\) does not form a variety. The corresponding problem for the operation \(\varrho*\sigma=\varrho^{-1}\circ\sigma^{-1}\) remains open.