离散数学及其应用：二元关系PPT教学课件.pptx

第四章二元关系;定义4.1.1(有序对(或序偶)，orderedpairs)由两个元素x和y(允许x=y)按一定次序排列组成的二元组x，y称为一个有序对或序偶，其中x是它的第一元素，y是它的第二元素。注意，第一、二元素未必不同。

如平面直角坐标系中的任意一点坐标(x，y)均是序偶，而全体这种实数对的集合{(x，y)|x∈R∧y∈R}就表示整个平面。

;有序对x，y具有以下性质：

(1)当x≠y时，x，y≠y，x。

(2)x，y=u，v的充要条件是x=u且y=v。

(3)x，x也是序偶。

;定义4.1.2(n元有序组)若n∈N且n＞1，x1，x2，