离散数学Chap 4 二元关系 4.1，4.2，4.3.pptx

Chap4二元关系§4.1序偶与笛卡尔积§4.2关系及其表示§4.3关系的运算§4.4关系的性质§4.5关系的闭包运算§4.6等价关系与划分§4.7偏序关系1

§4.1序偶与笛卡尔积一、序偶定义：有序的二元组称为序偶，记作?x,y?注：（1）x,y不必属于同一个集合，也不必是同一类型对象，例如?26,徐风?（2）序偶?x,y?与集合{x,y}不同（3）?x,y?=?s,t?当且仅当x=s且y=t

二、笛卡尔积1.定义：2.eg：则：称为A与B的笛卡尔积.?注：一般而言：

3.笛卡尔积运算与其他运算之间的关系①②③则④

4.多重笛卡尔积②个?①?

ex：判断