恒等关系也满足自反性、对称性、传递性.反对称要求当x≠y时,与如果出现,则只能出现一个.如果没有x≠y的情形,反对称性的定义也满足,所以R={}反对称.对称性、传递性中的x与y可以相等也可以不相等,比如对称性：x与y不相...牵强吗？没有x≠y的情形时，根据命题逻辑中的蕴涵式“P→Q”的真值的情形，P假时，P→Q真。所以没有x≠y的情形时，定义还是成立的