Heitzig, Jobst(Universitat Politècnica de València, 2002-04-01)
[EN] 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 ...