离散数学4.4-等价和偏序关系.pdfVIP

离散数学（第3 版）屈婉玲耿素云张立昂编著清华大学出版社出版 4.4 等价关系与偏序关系 上海大学 谢 江 1 4.4 等价关系与偏序关系 • 4.4.1 等价关系 • 4.4.2 等价类和商集 • 4.4.3 集合的划分 • 4.4.4 偏序关系 • 4.4.5 偏序集与哈斯图 2 4.4.1 等价关系 等价关系的定义与实例 定义4.18 设R为非空集合上的关系. 如果R是自反的、对称 的和传递的, 则称R为A 上的等价关系. 设R 是一个等价关系, 若x,y ∈R, 称x等价于y , 记做x ～y . 例1 设A={1, 2, …, 8}, 如下定义A 上的关系R ： R={x,y | x,y ∈A ∧x≡y (mod 3)}