恒等关系也满足自反性、对称性、传递性。
反对称要求当x≠y时，<x,y>与<y,x>如果出现，则只能出现一个。如果没有x≠y的情形，反对称性的定义也满足，所以R={<1,1>}反对称。
对称性、传递性中的x与y可以相等也可以不相等，比如对称性：x与y不相等时，<x,y>与<y,x>要么都出现，要么都不出现。x=y时，<x,x>出现，当然可以看作<x,y>与<y,x>都出现了。对于传递性，也可以同样讨论。
追问但是反对称的定义不是要求了x≠y吗 这不是矛盾吗 还有这个“x=y时，出现，当然可以看作与都出现了”这样解释不是有一点牵强吗 我是新手还请多多指教
追答牵强吗？
没有x≠y的情形时，根据命题逻辑中的蕴涵式“P→Q”的真值的情形，P假时，P→Q真。所以没有x≠y的情形时，定义还是成立的