【導(dǎo)讀】設(shè)R是A到B的二元關(guān)系,S是B到C的二元關(guān)系。S當且僅當(a,b)∈R并且。元關(guān)系的一種二元運算。R1的集合表達式.A有有向路徑到達y?S)為n行×p列的矩陣。R和S的關(guān)系矩陣MR和Ms分別為:。設(shè)zij為MM的第i行第j列對應(yīng)的元素;由矩陣定義:zij=xi1y1j+xi2y2j+…存在k,滿足:?的值改為1,則修改后的矩陣與R?表示布爾加運算符)。設(shè)IA、IB為集合A、B上的恒等關(guān)系,R?可由M與單位矩陣作乘法運算得到。證明:復(fù)合關(guān)系R1?關(guān)系矩陣與R2的關(guān)系矩陣的乘積。復(fù)合也滿足結(jié)合律。