φ-AUXILIARY ORDER AND THE CHARACTERIZATION FOR φ-CONTINUOUS LATTICES
李雷 · 中国科学通报：英文版 · 1992
Let L be a complete lattice, φ(?)P(L) and {x}∈ φ for all x ∈ L, I_φ (L)={↓ B|B∈φ }. Let x, y∈L. If for B∈φ, when supB>y, there was a b∈B such that b>x, then we call that x<<_φy, denoted by ↓_φy= {x∈L|x<<_φy}. In 1990, a question was posed : For which φ, does it hold that ω-App(L) = ω-App(L,), if L is -distributive? in the mono-