基本知识一定义域和值域的扩展 偏序关系（部分序关系，partial order) 1.集合D上的二元关系，具有如下三个性质 自反性： Vx:D.x 0 反对称性： Vx,v:D.x Jy∧y X→x=y 传递性： Vx,y,z:D.x 乙→X 7 2.D上的二元关系 的定义 xy当且仅当x 3.整数上小于等于和小于关系分别是 和！ 的实例 ≤：2≤3,3≤3,4≤6,5≤6，. <:2<3,3<4,4<6,5<6,…
基本知识 — 定义域和值域的扩展 • 偏序关系（部分序关系，partial order） 1. 集合D上的二元关系 ，具有如下三个性质 – 自反性： x:D. x x – 反对称性： x, y:D. x y y x x = y – 传递性： x, y, z:D. x y y z x z 2. D上的二元关系 的定义 x y 当且仅当 x y x y 3. 整数上小于等于和小于关系分别是 和 的实例 : 2 3, 3 3, 4 6, 5 6, … < : 2 < 3, 3 < 4, 4 < 6, 5 < 6, … 17
基本知识一定义域和值域的扩展 偏序关系（部分序关系，partial order) 1.集合D上的二元关系，具有如下三个性质 自反性： Yx:D.x 反对称性： Vx,y:D.x y∧y X→x=J》 传递性： Vx,y,Z:D.x y∧ 乙→X 2.D上的二元关系 的定义 xy当且仅当x 3.整数上小于等于和小于关系分别是 和 的实例 4.离散序 y当且仅当x=y,即不同的元素之间无关系
基本知识 — 定义域和值域的扩展 • 偏序关系（部分序关系，partial order） 1. 集合D上的二元关系 ，具有如下三个性质 – 自反性： x:D. x x – 反对称性： x, y:D. x y y x x = y – 传递性： x, y, z:D. x y y z x z 2. D上的二元关系 的定义 x y 当且仅当 x y x y 3. 整数上小于等于和小于关系分别是 和 的实例 4. 离散序 x y当且仅当x = y，即不同的元素之间无关系18