Incorrect Answer.
The correspondence condition for this formula is called transitivity:
x
y
z (R(x,y)
R(y,z)
R(x,z))
Back to Question.
Next Question.
Incorrect Answer.
x y z (R(x,y) 
R(y,z) 
R(x,z))