第4章二元关系和函数 这些性质是二元集(x,y}所不具备的。例如当 x力时有{x,y}={,x},原因是有序对中的元素是有序 的,而集合中的元素是无序的。再例如,{x,x} ={x},原因是集合中的元素是互异的 由性质(2)可推出(x,y)=(y,x)的充要条件 是x=y。有序对的概念可以进一步推广到多元有序组第4章 二元关系和函数 这些性质是二元集｛x, y｝所不具备的。 例如当 x≠y 时有{x, y}={y, x}, 原因是有序对中的元素是有序 的， 而集合中的元素是无序的。 再例如， ｛x, x｝ ={x}， 原因是集合中的元素是互异的。 由性质(２)可推出 〈x, y〉=〈y, x〉的充要条件 是x=y。 有序对的概念可以进一步推广到多元有序组