对给定的可除剩余格L及a∈L,作者通过一个自然的构造使得主下集↓+a={x∈L|x≤a}成为一个可除剩余格La.进一步有,如果L是预线性的或者广义MV一代数,则La亦是.
Let L be a divisible residuated lattice. It is shown that for each a E L, there is a natural way to make the lattice {x∈L|x≤a} into a divisible residuated lattice L.. Furthermore, if L is prelinear (a generalized MV-algebra) then so is La.