Given two rules R1: X1 → Y1 and R2: X2 → Y2, we define: