The relations of semiadjacency and semicompatibility in \(\cap\)-semigroups of transformations. (Q2346768)

Semigroups of partial mappings on a set which are closed under set-theoretic intersections considered together with the relation of semicompatibility (mappings are identical on the intersection of their domains) and semiadjacency (the image of one mapping is contained in the domain of the other) are characterized as an abstract algebraic system \((G,\cdot,\curlywedge,\xi,\delta)\), where \((G,\cdot)\) is a semigroup, \((G,\curlywedge)\) is a semilattice, \(\delta\) is left ideal relation on \((G,\cdot)\) and \(\xi\) is a left regular binary relation on \((G,\cdot)\) containing the natural order of the semilattice \((G,\curlywedge)\) and \((G,\cdot,\curlywedge,\xi,\delta)\) satisfies certain conditions.