《离散数学》第7章 二元关系 教学课件.pptx

第七章关系;本章说明;7.1有序对与笛卡儿积;例7.1;定义7.2设A，B为集合,用A中元素为第一元素，B中元素为第二元素构成有序对。所有这样的有序对组成的集合叫做A和B的笛卡儿积(Cartesianproduct)，记作A×B。

笛卡儿积的符号化表示为

A×B＝{x,y|x∈A∧y∈B};笛卡尔积举例;笛卡儿积的运算性质;例:证明A×(B∪C)=(A×B)∪(A×C);关于A?C∧B?D?A×B?C×D的讨论;关于A?C∧B?D?A×B?C×D的讨论;例7.2;例7.3;7.2二元关系(binaryrelation);集合A上的二元关系的数目依赖于A中的元