如果
A
是有限集合,
。关系
R
和
S
都是
A
上的关系,
R
和
S
的关系矩阵
和
都是
n
×
n
的方阵。于是
的关系矩阵
,
可以用下述的矩阵逻辑乘法计算(类似于矩阵乘法)。可以写为
,
其中
。
这是由
和
的元素计算
的元素
的方法。式中的∧和∨分别为在集合{0,1}上的运算。∧是逻辑乘,1∧1=1 ,而
(它对应合取词)。 是逻辑和, (它对应析取词)。
例3
设集合
上的关系
,
。
则
于是
其中
此外