On Varieties of Groupoids of Relations with Operation of Binary Cylindrification

Abstract

In this paper, bases of identities of varieties generated by classes of partially ordered groupoids of relations with the operation of binary cylindrification are found.

Identities of semigroups of relations with an operator of reflexive double cylindrification

“…Identities basis for the variety Var{•, −1 } was found in [10], and that for the varieties Var{•, F 3 } and Var{•, F 4 } is given in [11]. The aim of this paper is to find the identities basis for the variety Var{•, F 9 } of the relations algebra with operations of relations multiplication and double reflexive cylindrification.…”