Published online by Cambridge University Press: 20 November 2018
Let (X, ) be a topological space. By
we denote the family of all Lodato proximities on X which induce
. We show that
is a complete distributive lattice under set inclusion as ordering. Greatest lower bound and least upper bound are characterized. A number of techniques for constructing elements of
are developed. By means of one of these constructions, all covers of any member of
can be obtained. Several examples are given which relate
to the lattice
of all compatible proximities of Čech and the family
of all compatible proximities of Efremovič. The paper concludes with a chart which summarizes many of the structural properties of
,
and
.