In this paper, it is proved that the quasi-variety generated by the class of partially ordered groupoids of relations with the operation of binary cylindrification forms a variety.

中文翻译：

---

关于二元圆柱化运算的类群关系的Jónsson问题

在本文中，证明了由与二元圆柱化操作有关的一类部分有序群状体生成的拟变量形成了一个多样性。