關係矩陣

關係的矩陣(matrix of a relation)對關係的一種刻畫.即對於兩個集合之間的某個關係，能清楚地表明此二集合的任意元素是否有此關係的數字矩陣。

將集合A與B良序化:A=伍z }a2,... } }B= fib,b2 } ... }.設A對應的序數為.1,B對應的序數為產.如關係RcAXB，可用0與1兩個數碼作成一個有限或無限的矩形表Ma=}rp)xr.，使得在a;Rb;時，第i行第J列處的元素r;=1，在a;Rb，時，第i行第J列處的元素r;; = 0.若A為n元有限集(.}=n),B為m元有限集(}=m)，此數表是普通的nXm的。,l矩陣，稱為關係R的矩陣.當A或B是無限集時，數表(r;; ) x,}為一方或兩方無限延伸的“開口”數表，稱為關係R的開白矩陣.普通矩陣與開口矩陣統稱為關係R的矩陣.給出一個關係就可以寫出它的矩陣;反之，給出一個0,1矩陣就可以確定一個關係.