Heitzig, Jobst
(Valencia : Universitat Politecnica de Valencia, 2002)
Using the general notion of distance function introduced in an earlier paper, a construction of the finest distance structure which induces a given quasi-uniformity is given. Moreover, when the usual defining condition xy ...