In this paper, we introduce a concept of meet interpolation orders on lattices and then using these we introduce a concept of ◁-ends in lattices with a meet interpolation order and investigate some basic properties of ◁-ends. Secondly, we introduc...
In this paper, we introduce a concept of meet interpolation orders on lattices and then using these we introduce a concept of ◁-ends in lattices with a meet interpolation order and investigate some basic properties of ◁-ends. Secondly, we introduce a concept of proximity orders on frames and show that proximity orders on frames can be characterized by ◁-ends on frames. Finally, we show that if L is a frame with a meet interpolation order (quasi-proximity frame, proximity frame, resp.), then the strict extension t : t_(X)L →L is a H-completion (almost compactification, compactification, resp.) of L.