Description: If neighborhood and convergent functions are related by operator H , the relationship holds with the functions swapped. (Contributed by RP, 11-Jun-2021)