Quel est le nom de l'opérateur qui se traduit de $ x droite (y rightarrow z) $ à $ y rightarrow (x rightarrow z) $?

Question

Y a-t-il un nom standard pour l'opérateur qui prend une fonction $ f: x rightarrow (y rightarrow z) $ et renvoie la fonction $ f ': y rightarrow (x rightarrow z) $ qui satisfait, pour chaque $ y in y $ et $ x in x $, $ f '(y) (x) = f (x) (y) $?