离散数学第四章 - 二元关系和函数-4.pdfVIP

4.4 次序关系 1 一、偏序集合 1、偏序集合的定义。 定义1：若A上关系R满足自反、反对称、传递， 则称R为A上的偏序关系，简称偏序， 记作 或 。 若 x, y R ，记x  y ,读作x 小于或等于y ,说明x在 偏序上排在y 的前面或相同。 集合A 与A 上的偏序关系R 一起叫做偏序集， 记作 A,R 。 2 定义2 ：设 A,  是一偏序集合， x , y A,若x y 或y x ，则称x与y 是可比的。 例1、偏序集合的常见例子。 整数集上的小于等于关系 Q, R A 的幂集(A)上的包含关系