### Abstract

Tarski's algebra of binary relations is formalised along the lines of
the standard textbooks of Maddux and Schmidt and Ströhlein. This
includes relation-algebraic concepts such as subidentities, vectors and
a domain operation as well as various notions associated to functions.
Relation algebras are also expanded by a reflexive transitive closure
operation, and they are linked with Kleene algebras and models of binary
relations and Boolean matrices.

BSD License### Topics

### Theories of Relation_Algebra

- More_Boolean_Algebra
- Relation_Algebra
- Relation_Algebra_Vectors
- Relation_Algebra_Tests
- Relation_Algebra_Functions
- Relation_Algebra_Direct_Products
- Relation_Algebra_RTC
- Relation_Algebra_Models