格上的 s-传递模糊矩阵

在模糊矩阵文献中，人们不仅用min，和，max这两个运算来定义和讨论矩阵的运算，还用0,1上的三角模来定义和讨论矩阵的运算。本又利用完备分配格L上三角、s-模及模糊矩阵运算，定义了s-传递模糊矩阵，并且给出s-传递模糊矩阵的一些性质。如设S是*分配、s-模，A是s-幂等矩阵，那么,,A是幂等矩阵当且仅当A传递矩阵;传递的对称矩阵是幂等矩阵;设*异传递矩阵，*则B是传递的对称矩阵，因而也是幂等矩阵。（注*表示公式，见正文）