Mattson, D. A. “Dense $p$-Subspaces of Proximity Spaces”. MATHEMATICA SCANDINAVICA, vol. 27, June 1970, pp. 223-6, doi:10.7146/math.scand.a-11000.