Nearness structures and proximity extensions
Nearness structures and proximity extensions
Proximity, contiguity and nearness structures are here studied from a unified point of view. In the discussion the role that grills can play in the theory is emphasized. Nearness structures were recently introduced by Herrlich and Naimpally. Thron pointed out the importance of grills in proximity theory. Nearness structures <inline-formula …