Free Kleene algebras with domain

Brett McLean

First we identify the free algebras of the class of algebras of binary relations equipped with the composition and domain operations. Elements of the free algebras are pointed labe…