よって一番目の例のようにそれだけでPow(X2)は関係代数であるが、標準的には、合成をx(R·S)z=∃y.xRy∧ySzと定義する。
尽管通过如前面例子那样选用R·S=R∧S它可以成为关系代数，给出的·的标准解释是x(R·S)z=∃y.xRySz。