MMN-818

Groupoids corresponding to certain relational systems, i. e. sets with one binary relation, are considered. To each directed relational system there exists at least one such groupoid. It is shown how properties of the relational system can be characterized by properties of a corresponding groupoid. Further, for a given groupoid a sufficient condition is provided that guarantees the existence of a relational system to which this groupoid corresponds. This approach enables us to introduce the concept of congruence on a relational system and hence to produce quotient relational systems.

Vol. 17 (2016), No. 1, pp. 111-118

DOI: 10.18514/MMN.2016.818

Download: MMN-818