Description:
AbstractMaddux recently defined the variety V generated by the completions of representable relation algebras. In this note, we observe that V is canonical, answering Maddux’s problem 1.1(3), and show that the variety of representable relation algebras is not finitely axiomatisable over V.