Proximity space

A **proximity space** is a type of mathematical structure used in topology that generalizes the concept of proximity, or nearness, between sets. While traditional topological spaces focus on the open sets, proximity spaces provide a way to directly express the notion of how close two subsets of a given set are to each other.