The semi direct product is defined for 2 subgroups, with 1 normal and 1 not normal.

Let a=normal subgroup:
(a1,R1)*(a2,R2)=(a1+R1a2,R1R2)