Renaming of functions.
See disambiguator for background.
Here we characterize, relationally, the renaming of functions. This is analogous to the renaming of variables: see the discussion there, which also applies here by analogy.