Metrics and tolerances
Metrizable completely distributive lattices
The purpose of this paper is to study the topological properties of the interval topology on a completely distributive lattice. The main result is that a metrizable completely distributive lattice is an ANR if and only if it contains at most finite completely compact elements.
Metrization of uniform lattices