Abstract:
The finite basis of identities of the varieties of the ordered algebras generated by partially ordered semigroups of binary relations with cylindrifications operations is found in this paper.
Key words:varieties, algebras of relations, semigroups, operations of cylindrification.