如果xR^2y,那么存在z 满足xRz且zRy,所以zRy且xRz,R对称,所以yRz且zRx,所以yR^2x如果xR^2y，那么存在z 满足xRz且zRy
请问这个是怎么推断的关系的复合不是这么定义的吗？哦，懂了，谢谢