Transcript 离散数学—12相容关系.ppt
3-11 相容关系 定义1 给定集合A上的 关系r，若r是自反 的，对称的，则称 r是相容关系。 定义2 设r是集合A上的相容 关系，若CA，如果对 于C中任意两个元素 a1,a2有a1ra2，称C是相 容关系r产生的相容类。 定义3 设r是集合A上的相容 关系，不能真包含在任 何其它相容类中的相容 类，称作最大相容类。 记作Cr。 定义4 在集合A上给定相容 关系r，其最大相容类 的集合称作集合A上的 完全覆盖。记作Cr(A)。 定义3 设r是集合A上的相容 关系，不能真包含在任 何其它相容类中的相容 类，称作最大相容类。 记作Cr。