完全分配格和完备集环(英文)

设L是完备格 ,S L称为L的基 ,若 x∈L ,Sx S使得 ∨Sx =x .称L是基拟原子的 ,若 x∈S且x≠ 1, y∈L ,使得x y因而x y .该文使用thewedgebelowrelation 证明 :完全分配格是完备集环当且仅当L有一个基S L使得L是基拟原子格 .又得到使用拓扑方法的如下刻划定理 :完全分配格是完备集环 L的区间拓扑θ(L) (Lawson拓扑λ(L)或双Scott拓扑σω(L) )