I have two relations R and R' satisfying following property -

R(a,b) & R'(a,a') & R(a',b') => R(a,b')

Pictorially, it looks like this -

 a --(R)-> b
 | \
(R') \ (* new edge being added *)
 |     \
 v       \
 a'--(R)-> b'

Is there any standard name for this property? I am calling it "Closure of R w.r.t R'" for time being.