Equational Properties of Kleene Algebras of Relations with Conversion
Abstract We describe a set of equational axioms for the variety generated by all algebras of binary relations with operations of union, composition, conversion and reflexive-transitive closure and neutral elements 0 (the empty relation) and 1 (the identity relation).