关系的矩阵(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矩阵就可以确定一个关系.