离散数学-关系课件.ppt

1、12父子关系父子关系兄弟关系兄弟关系师生关系师生关系大于关系大于关系等于关系等于关系小于关系小于关系3包含关系包含关系相等关系相等关系属于关系属于关系调用关系调用关系45678910 1112 1314。151617 18192021 1,(,)0,(,)ijijijifxyRmifxyR 22 231,0,ijijijifa aRmifa aR 24 .),()(fyxyxf).3,(),3,(),2,(cbaf?)3,(),3,(),2,(caa2526 27:,BASR,RS RS R RS RS.RBARBAR.RAARAAR28 29 303132 RRB33343536 11()R

2、R111()RSRS111()RSRS 11RR373839 4041R S 421112211nnRmmnm nuuuuMuu 其中：其中：iju 431112211ssSnnsn svvvvMvv 其中：其中：ijv 441112211ssR Smmsm swwwwMww 45461 0 01 1 0 01 1 11 1 1 0 1 0 0 1 1 10 0 00 0 1 00 0 00 0 0R SRSMMM 471 1 1 01 1 1 01 1 1 10 0 1 10 0 1 11 0 1 0 0 0 0 00 0 0 00 0 0 00 0 1 10 0 1 11 0 1 0R S

3、RSMMM 48 49设设 R AB，则：，则：(1)IA R=R (2)R IB=R5051 52 5354 55 565758 (1)(2)59 60 616263 (1)(2)64656667686970713abZ 727374 75767778 798081828384 858687 8889 90919293949596979899100 101102103104 105106107108109110111112113114115116117118 S A,b S。1）b是是S的的:2）b是是S的的:119120 121122 S A,b S。1）b是是S的的 :2）b是是S的的:123124p A的极大元是哈斯图中的一个的极大元是哈斯图中的一个上端点上端点p A的极小元是哈斯图中的一个的极小元是哈斯图中的一个下端点下端点125126 S A S 127128。129130若若S的的上（下）确界存在，则唯一。上（下）确界存在，则唯一。131132 133,|,12,|,2iRi ji jA jijSi ji jA ij 或或