Demonic composition \(*\) is an associative operation on binary relations, and demonic refinement \({\sqsubseteq }\) is a partial order on binary relations. Other operations on binary relations considered here include the unary domain operation D and the left restrictive multiplication operation \(\circ \) given by \(s\circ t=D(s)*t\). We show that the class of relation algebras of signature \(\{\, \sqsubseteq , D, *\, \}\), or equivalently \(\{\, \subseteq , \circ , *\, \}\), has no finite axiomatisation. A large number of other non-finite axiomatisability consequences of this result are also given, along with some further negative results for related signatures. On the positive side, a finite set of axioms is obtained for relation algebras with signature \(\{\, \sqsubseteq , \circ , *\, \}\), hence also for \(\{\, \subseteq , \circ , *\, \}\).

恶魔成分\（* \）是二元关系的关联运算，而恶魔精化\（{\ sqsubseteq} \）是二元关系的偏序。这里考虑的关于二进制关系的其他运算包括一元域运算D和由\（s \ circ t = D（s）* t \）给出的左限制乘法运算\（\ circ \）。我们证明了签名\（\ {\，\ sqsubseteq，D，* \，\} \）或等效的\（\ {\，\ subseteq，\ circ，* \，\} \）的关系代数的类别，没有有限公理化。还给出了该结果的许多其他非有限公理可言性后果，以及有关签名的一些其他负面结果。在积极的一面，获得具有签名\（\ {\，\ sqsubseteq，\ circ，* \，\} \）的关系代数的有限公理集，因此也为\（\ {\，\ subseteq，\ circ，* \，\} \）。