Quasi-Bijective Relation Algebras

Abstract

One of the principal focuses of research in the theory of relation algebras during the last sixty years has been on representation theorems, theorems which state that every relation algebra satisfying certain conditions is representable. A typical example is the theorem of Jonsson-Tarski [31] that every atomic relation algebra in which the atoms are all functional is representable; there is also an accompanying structural description of these algebras in terms of the complex algebras of Brandt groupoids.