相对有补分配格

本文证明了相对有补分配格L存在这样的唯一一种备化(?),使对ξ∈(?),存在L的非空子集族(?),有ξ=(?)[Λf(S_α)]。这样一种备化(?)称作L的完备化。本文将一般Boole格的同态扩张定理推广到相对有补分配格上。证明了相对有补分配格的合同的格同构于含一固定元的凸子格的格,证明了相对有补分配格的完备化,可备合同的格与含一固定元的可备凸子格的格都是同构的。