Relational systems with involution
Ivan Chajda, Helmut Länger · Asian-European Journal of Mathematics · 2016
We investigate relational systems endowed with an involution inverting couples of related elements. The concept of a so-called complemented or orthomodular relational system is introduced as a generalization of a complemented or orthomodular lattice, respectively. To every one of the mentioned relational systems [Formula: see text] there is assigned certain algebra [Formula: see text] which can be considered as an algebraic counterpart to [Formula: see text]. The paper is devoted to the relations between these relational systems and the assigned algebras. It is shown that these algebras have some congruence properties.