Relačním systémem se nazývá dvojice (A,R), kde A je neprázdná množina a R je na ní binární relace. Tomuto systému se přiřadí jistý parciální grupoid, který se doplní na grupoid jednobodovým rozšířením. Studuje se vztah mezi vlastnostmi binární relace a vlastnostmi přiřazeného grupoidu. Pomocí přiřazeného grupoidu se zavedou kongruence a homomorfismy relačních systémů a zkoumají se jejich vlastnosti.By relational system we mean an ordered pair (A,R), where A is non-empty set and R is binary relation on A. To this relational system is in certain way assigned a partial grupoid and the properties of the relational system are expressed in partial identities on the partial grupoid. This notion is also used to define congruences and homomorphisms of relational systems and to study their properties.