ON THE STRICT COMPLETION OF A NEARNESS SPACE

Abstract

The strict completion of a nearness space was constructed in 1974 in Herrlich's original paper on nearness. We present an external characterization of this completion. Among the consequences of this result is the fact that for nearness spaces X and Y with completions X* and Y*, if X ⊂ Y ⊂ X* then Y* is isomorphic to X*.