Metrization of proximity spaces
Metrization of proximity spaces
0. Introduction. Our purpose here is to present a metrization criterion for proximity spaces that is analogous to R. L. Moore's criterion for topological spaces [8]. Where Moore's criterion demands a sequence of open coverings, our criterion requires admissible coverings. In Moore's criterion a set A is close to a …