On Jónsson's problem for groupoids of relations with operation of binary cylindrification (Q2217780)

Given a set \(U\), define the binary operation of cylindrification on the set of binary relations on \(U\) by \[ \rho\ast\sigma=\{(x,y)\in U\times U\;|\;(\exists z,w)(((x,z)\in\rho)\wedge ((z,w)\in \sigma))\}. \] Let Qvar\(\{\ast,\subseteq\}\) be the quasivariety generated by all partially ordered algebras of the form \(\langle U; \ast, \subseteq\rangle\) where \(\ast\) is cyclindrification and \(\subseteq\) is inclusion. The paper proves that Qvar\(\{\ast,\subseteq\}\) is a variety and provides a finite axiomatization for this variety.