Njastad, O. Some Properties of Proximity and Generalized Uniformity. Math. Scand. 1963, 12, 47-56.