多项选择题

取个体域为整数集。下列解释能使公式"x"y(Rxy→Ryx)为真的有()

A.R 表示“<”关系
B.R 表示“≤”关系
C.R 表示“=”关系
D.R 表示“≠”关系