第3章9等价关系及相容关系.pptVIP

*计算机科学与技术学院 * 3.9 等价关系与相容关系 3.9.1 集合的划分与覆盖 3.9.2 等价关系与等价类 3.9.3 相容关系 第三章 集合与关系 3.9.1 集合的划分与覆盖 （1）  ( 2 ) ，当i≠j时 则满足（1）称S是集合A的一个覆盖， 每一个 称为这个覆盖的一个分块。 定义3.9.1 设有非空集合A，S={A1,A2,…,Am}，其中 ，且 （i=1，2，…，m），若 满足（1） （2）称S是集合A的一个划分， 每一个 称为这个划分的一个分块。 显然，A的划分是A的覆盖，但A的覆盖未必是个划分。 例 1 设A={2，3，4，8，9，10，15}  定义A的如下子集： 则　根据题意 {2，4，8，10} {3，9，15} {10，15} 是A的一个覆盖， 可成为A的一个划分。 例2 设A={a，b，c，d，e，f}，指出下列哪些是A的划分（在相应括号内填入“1”），哪些是A的覆盖（在相应括号内填入“2”），哪些既不是划分，