On clones generated by primitive-positive operations of Tarski's relation algebras (Q1272147)

Let \(U\) be a set, \(\text{Rel}(U)\) be the set of all binary operations on \(U\). \(\text{Cl}_U \{\circ ,{}^{-1},\cap ,\Delta ,U\times U\}\) denotes the clone of operations on \(\text{Rel}(U)\) generated by the operations of relation product \(\circ \), relation inverse \({\cdot}^{-1}\), intersection \(\cap \), diagonal relation \(\Delta \) and universal relation \(U\times U\), considered as constant operations, i.e. \(M\) the set of all primitive-positive operations of Tarski's relation algebras. The author gives a description of \(\text{Cl}_U \{\circ , {\cdot}^{-1},\cap ,\Delta ,U\times U\}\) in terms of graph theory.