Subtraction Menger algebras

Abstract characterizations of Menger algebras of partial $n$-place functions defined on a set $A$ and closed under the set-theoretic difference functions treatment as subsets of the Cartesian product $A^{n+1}$ are given

The relation of semiadjacency of ∩\cap-semigroups of transformations

We consider two relations on a $\cap$-semigroup of partial functions of a given set: the inclusion of domains and the semiadjacencity (i.e., the inclusion of the image of the first function into the domain of the second), which characterized with an abstract point of view using the elementary system of axioms, i.e., system conditions, recorded in the language narrow predicate calculus with equality