离散数学二元关系

- 定义7.1 由两个元素x 和y，按照一定的顺序组成的二元组称为有序对或序偶，记作<x,y>，其中x是它的第一元素，y是它的第二元素. 注：有序对具有如下性质：（1）有序性 <x,y>≠<y,x>