假设格L是有最小元0的分配格，任意x，y∈L，定义x与y的二元运算x-y为：当x≤y时，x-y=0；否则，x-y=x．定义格上矩阵（Rij）n×n与（Sij）n×n的-......