第四章 关系.pptVIP

4.8 偏序关系 4.8.4 良序关系 定义4.35 设A，?是偏序集合，如果A的每一个非空子集都 存在最小元，则这种偏序集称为良序集。 定理4.32 每个良序集合一定是全序集合。 定理4.33 每个有限的全序集合一定是良序集合。 4.7 相容关系 4.7.1 相容关系 定义4.20 设R是集合A上的一个二元关系，如果R是自反的、对 称的，则称R是相容关系。 定义4.21 设R是集合A上的一个相容关系，C是A的子集，如果 对于C中任意两个元素x，y，有x，y?R，称C是相容关系R产 生的相容类。 定义4.22 设R是集合A上的一个相容关系，不能真包含在任何 其它相容类中的相容类，称作最大相容类，记作CR。 定理4.26 设R是有限集A上的相容关系，C是一个相容类，那 么一定存在一个最大相容类CR，使得C?CR。 。 4.7.2 覆盖 定义4.23 设A是集合，A1，A2，…，An都是A的非空子集，令 S={A1，A2，…，An}，如果A1∪A2∪…∪An=A，则称S为A的 覆盖。 定义4.24 设S={A1，A2，…，An}是集合A的覆盖，且对于S中 任意元素Ai，不存在S中的其它元素Aj，使得Ai?Aj，则称S为A完 全覆盖。 定理4.27 给定集合A的覆盖{A1，A2，…，An}，由它确定的关 系 R=A1×A1