原子Boolean格代数的导子

设是Banach空间X上的原子Boolean子空间格，δ是alg的任一导子，则存在X中的一个稠定线性算子T，使得δ（A）＝AT—TA（A∈alg）在T的定义域（T）上成立．另外，如果还是一个有限格，并且对的任一原子L，L＋L＇闭，则δ是连续的和内的．