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