关系的复合运算

$$R\circ S=\{⟨x,z⟩|x\in A\wedge z\in C\wedge \exists y(y\in B\wedge xRy\wedge ySz)\}$$

和 空集 的复合关系结果是空集

满足 结合律