A generalization of symmetric inverse semigroups. (Q2461623)

In this paper a new operation is introduced on the set of all binary relations \(B_X\) over a base set \(X\) by which \((x,y)\) is in the composite \(a\circ b\) if and only if \(xa=by\) and is not empty. Under this operation, \(B_X\) is a groupoid but not a semigroup as the operation is not associative. Surprisingly however, the subgroupoid \(D_X=B_X\circ B_X\) is not only a semigroup but an inverse semigroup. What is more every inverse semigroup can be embedded in some \(D_X\) (under this new operation). This follows as the symmetric inverse semigroup \(I_X\) is embedded in \(D_X\) because, within \(I_X\), our new operation coincides with ordinary composition of partial one-to-one mappings.