Grouplike Menger algebras.
By a relational system we mean a couple where is a set and is a binary relation on , i.e. . To every directed relational system we assign a groupoid on the same base set where if and only if . We characterize basic properties of by means of identities satisfied by and show how homomorphisms between those groupoids are related to certain homomorphisms of relational systems.