e/Proximity space

Information
has gloss	eng: In topology, a proximity space is an axiomatization of notions of "nearness" that hold set-to-set, as opposed to the better known point-to-set notions that characterize topological spaces.
lexicalization	eng: proximity space
instance of	e/Closure operator