On semigroups of relations with the operation of the rectangular product

Abstract

A set of binary relations closed with respect to some collection of operations on relations forms an algebra called an algebra of relations. The theory of algebras of relations is an essential part of modern algebraic logic and has numerous applications in semigroup theory. The following problems naturally arise when  classes of algebras of relation are considered: find a system of axioms for these classes, and find a basis of of identities (quasi-identities) for the varieties (quasi-varieties) generated by these classes. In the paper, these problems are solved for the class of semigroups of relation with the binary associative operation of the rectangular product, the result of which is the Cartesian product of the first projection of the first  relation on the second projection of the second one.

Keywords

• algebra of relations
• primitive positive operation
• variety
• quasi-variety
• semigroup
• partially ordered semigroup