proximity space

In topology, a proximity space, also called a nearness 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.