Description: The transposition of a function is a function. (Contributed by Mario Carneiro, 10-Sep-2015)