极大元、最大元
7.7 偏序关系 主要内容 偏序关系 偏序关系的定义 偏序关系的实例 偏序集与哈斯图 偏序集中的特殊元素及其性质 极大元、极小元、最大元、最小元 上界、下界、最小上界、最大下界 定义与实例 定义7.19 偏序关系:非空集合A上的自反、反对称和传递的关系, 记作?. 设?为偏序关系, 如果 ∈?, 则记作 x ? y, 读作 x“小于或等于”y. 实例 集合A上的恒等关系 IA是 A上的偏序关系. 小于或等于关系, 整除关系和包含关系也是相应集合上的偏 序关系. 相关概念 定义7.20 设 R 为非空集合A上的偏序关系, (1) x, y∈A, x与y可比 ? x ? y∨y ? x (2) 任取元素 x 和 y, 可能有下述几种情况发生: x ? y (或 y ? x), x=y, x与y不是可比的 偏序集与哈斯图 定义7.23 集合A和A上的偏序关系?一起叫做偏序集, 记作 . 实例: ,
实例 例12 偏序集和
的 哈斯图. 实例 例13 已知偏序集