两个矩阵作乘积

表示复合关系下的关系矩阵