proximity continuousLet (P,δ) and (Q,ϵ) be proximity spaces.A function f:P→Q is said to be proximity continuous if for any subsets A,B⊆P, A𝛿B implies that f(A)ϵf(B).