and inverse. However, the first-order theory of relation algebras is not complete for such systems of binary relations.

Following Jónsson and Tsinakis (1993) it is convenient to define additional operations , and, dually, . Jónsson and Tsinakis showed that , and that both were equal to . Hence a relation algebra can equally well be defined as an algebraic