Proximity map

From Topospaces

Definition

Suppose and are proximity spaces. A function is termed a proximity map or proximal map if the following is true:

.