[法学]离散数学 关系.pptVIP

* 【例】 * 定义2-30 设(A, ?)是偏序集, ? ≠ S ? A 。 1) 子集S的最小上界称为S的上确界(least upper bound), 记作sup(S) 。 2) 子集S的最大下界称为S的下确界(greatest lower bound), 记作inf(S) 。 * 【例】 * 定理2-30 设(A, ?)是偏序集, ? ≠ S ? A 。若S的上（下）确界存在，则唯一。 注意: 子集S的极小(大)元和最小(大)元都必须是S中的元素, 而S的下(上)界和最大下界(最小上界)都不一定是S中的元素。 * 作业： P76: 1, 2, 8 * 上机编程题: 1.写一个程序，读入一个集合A及A上的关系R，判断R是否是自反关系、反自反关系、对称关系、反对称关系、传递关系。同时指出R是否是等价关系、偏序关系。 2.写一个程序，读入一个集合A及A上的等价关系R，求A/R。 3. 写一个程序，读入一个集合A及A的一个划分S，求等价关系R，使得A/R=S。 4.写一个程序，读入一个集合A及A上的偏序关系? ，求集合A的极小元、极大元、最小元、最大元。 * 练习：设 A＝{0,1,2,3} , A上有如下两个关系  求R-1,