设Ｂ是０－１布尔代数，μｍ记Ｂ上所有ｍ＊ｎ矩阵的集合。如果两个线性算子ｆ：μｍｎ→μｍｎ和ｇ：μｎｍ→μｍｎ满足对一切存在Ｍ－Ｐ逆的Ａ∈μｍｎ，都有ｆ（Ａ）＾＋存在并且Ａ＾＋＝Ｂ当且仅当ｆ（Ａ）＾＋ｇ（Ｂ），则称（ｆ，ｇ）为保持矩阵......