proximity space

set equipped with structure describing a notion of "nearness" between subsets

Categories: