convergence of sets and proximity map