1、(自反性)对于任意x∈A,xRx^xR'x,所以x(R^R')x2、（对称性）对于任意x,y∈A,xRy等价于yRx,xR'y等价于yR'x所以x(R^R')y等价于xRy^xR'y等价于yRx^yR'x等价于y(R^R')x3、（传递性）对于任意x,y,z∈A,xRy,yRz推出xRz,x...