TopKAT, an extension of Kleene algebra with tests, is complete for reasoning about the domain and codomain of relations, even without additional axioms.
