A set of binary relations closed with respect to some collection of operations on relations forms an algebra called an algebra of relations. Any such algebra can be considered as partially ordered by the relation of set-theoretic inclusion.
For a given set $ \Omega $ of operations on relations, we denote by $ Var \{\Omega \} $ [$ Var \{\Omega, \subset \} $] the variety generated by the algebras [respectively ordered algebras] of relations with operations from $ \Omega $.
Operations on relations, as a rule, are given by formulas of the first order predicate calculus. Such operations are called logical operations. An important class of logical operations is the class of Diophantine operations.
An operation on relations is called Diophantine
if it can be defined by a formula containing in its prenex normal form only
existential quantifiers and conjunctions. We study algebras of relations with one binary Diophantine operation, i.e., groupoids of relations. As the operation being considered, the Diophantine operation $*$ that is defined in the following way:
$ \rho \ast \sigma = \{(x, y) \in X \times X: (\exists z) (x, z) \in \rho \wedge (x, z) \in \sigma \}. $
The relation $ \rho \ast \sigma $ is the result of the cylindrification of the intersection $ \rho \cap \sigma $ of the binary relations $ \rho $ and $ \sigma $.
In the paper, the finite bases of identities for varieties $Var\{\ast\}$ and $Var\{\ast, \subset \}$ are found.
The groupoid $(A, \cdot) $ belongs to the variety $Var \{\ast \} $ if and only if it satisfies the identities: $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).$ The partially ordered groupoid $ (A, \cdot, \leq) $ belongs to the variety $ Var\{\ast, \subset \} $ if and only if it satisfies the identities (1) - (5) and the identities: $ x \leq x^2 \: (6) $, $ xy \leq x^2 \:( 7)$. As a consequence, we also obtain a finite basis of identities for the variety $ Var \{\ast, \cup \} $.
