Prime extensions and nearness structures John W. Carlson (1980) Commentationes Mathematicae Universitatis Carolinae