Proximity space
In topology, a proximity space, also called a nearness space, is an axiomatization of the intuitive notion of "nearness" that applies set-to-set, as opposed to the better-known point-to-set notion that characterizes topological spaces. The concept was described by Frigyes Riesz (1909) but ignored at the time.